Example distributed sensor network control hierarchy

Michelle Zhu, S. S. Iyengar, Jacob Lamb, R. R. Brooks, Matthew Pirretti

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

Our model uses discrete event dynamic systems (DEDS) formalisms. DEDS have discrete time andstate spaces. They are usually asynchronous and nondeterministic. Many DEDS modeling and control methodologies exist and no dominant paradigm has emerged [2]. We use Petri nets, as will be described in Section 51.2, to model the plants to be controlled. Our sensor network model has three intertwined hierarchies, which evolve independently. We derive controllers to enforce system consistency constraints across the three hierarchies. Three equivalent controllers are derived using (i) Petri net, (ii) vector addition and (iii) finite-state machine (FSM) techniques. We compare the controllers in terms of expressiveness and performance. Innovative use of Karp-Miller trees [3] allows us to derive FSM controllers for the Petri net plant model. In addition, we show how FSM controllers can be derived automatically from control specifications in the proper format.

Original languageEnglish
Title of host publicationDistributed Sensor Networks
PublisherCRC Press
Pages977-1008
Number of pages32
ISBN (Electronic)9781439870785
ISBN (Print)1584883839, 9781584883838
StatePublished - 1 Jan 2004

Fingerprint

Sensor networks
Finite automata
Controllers
Petri nets
Dynamical systems
Specifications

Cite this

Zhu, M., Iyengar, S. S., Lamb, J., Brooks, R. R., & Pirretti, M. (2004). Example distributed sensor network control hierarchy. In Distributed Sensor Networks (pp. 977-1008). CRC Press.
Zhu, Michelle ; Iyengar, S. S. ; Lamb, Jacob ; Brooks, R. R. ; Pirretti, Matthew. / Example distributed sensor network control hierarchy. Distributed Sensor Networks. CRC Press, 2004. pp. 977-1008
@inbook{b85ea20ff74847c68ddf7c0debd4f6a8,
title = "Example distributed sensor network control hierarchy",
abstract = "Our model uses discrete event dynamic systems (DEDS) formalisms. DEDS have discrete time andstate spaces. They are usually asynchronous and nondeterministic. Many DEDS modeling and control methodologies exist and no dominant paradigm has emerged [2]. We use Petri nets, as will be described in Section 51.2, to model the plants to be controlled. Our sensor network model has three intertwined hierarchies, which evolve independently. We derive controllers to enforce system consistency constraints across the three hierarchies. Three equivalent controllers are derived using (i) Petri net, (ii) vector addition and (iii) finite-state machine (FSM) techniques. We compare the controllers in terms of expressiveness and performance. Innovative use of Karp-Miller trees [3] allows us to derive FSM controllers for the Petri net plant model. In addition, we show how FSM controllers can be derived automatically from control specifications in the proper format.",
author = "Michelle Zhu and Iyengar, {S. S.} and Jacob Lamb and Brooks, {R. R.} and Matthew Pirretti",
year = "2004",
month = "1",
day = "1",
language = "English",
isbn = "1584883839",
pages = "977--1008",
booktitle = "Distributed Sensor Networks",
publisher = "CRC Press",

}

Zhu, M, Iyengar, SS, Lamb, J, Brooks, RR & Pirretti, M 2004, Example distributed sensor network control hierarchy. in Distributed Sensor Networks. CRC Press, pp. 977-1008.

Example distributed sensor network control hierarchy. / Zhu, Michelle; Iyengar, S. S.; Lamb, Jacob; Brooks, R. R.; Pirretti, Matthew.

Distributed Sensor Networks. CRC Press, 2004. p. 977-1008.

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - Example distributed sensor network control hierarchy

AU - Zhu, Michelle

AU - Iyengar, S. S.

AU - Lamb, Jacob

AU - Brooks, R. R.

AU - Pirretti, Matthew

PY - 2004/1/1

Y1 - 2004/1/1

N2 - Our model uses discrete event dynamic systems (DEDS) formalisms. DEDS have discrete time andstate spaces. They are usually asynchronous and nondeterministic. Many DEDS modeling and control methodologies exist and no dominant paradigm has emerged [2]. We use Petri nets, as will be described in Section 51.2, to model the plants to be controlled. Our sensor network model has three intertwined hierarchies, which evolve independently. We derive controllers to enforce system consistency constraints across the three hierarchies. Three equivalent controllers are derived using (i) Petri net, (ii) vector addition and (iii) finite-state machine (FSM) techniques. We compare the controllers in terms of expressiveness and performance. Innovative use of Karp-Miller trees [3] allows us to derive FSM controllers for the Petri net plant model. In addition, we show how FSM controllers can be derived automatically from control specifications in the proper format.

AB - Our model uses discrete event dynamic systems (DEDS) formalisms. DEDS have discrete time andstate spaces. They are usually asynchronous and nondeterministic. Many DEDS modeling and control methodologies exist and no dominant paradigm has emerged [2]. We use Petri nets, as will be described in Section 51.2, to model the plants to be controlled. Our sensor network model has three intertwined hierarchies, which evolve independently. We derive controllers to enforce system consistency constraints across the three hierarchies. Three equivalent controllers are derived using (i) Petri net, (ii) vector addition and (iii) finite-state machine (FSM) techniques. We compare the controllers in terms of expressiveness and performance. Innovative use of Karp-Miller trees [3] allows us to derive FSM controllers for the Petri net plant model. In addition, we show how FSM controllers can be derived automatically from control specifications in the proper format.

UR - http://www.scopus.com/inward/record.url?scp=85056033549&partnerID=8YFLogxK

M3 - Chapter

AN - SCOPUS:85056033549

SN - 1584883839

SN - 9781584883838

SP - 977

EP - 1008

BT - Distributed Sensor Networks

PB - CRC Press

ER -

Zhu M, Iyengar SS, Lamb J, Brooks RR, Pirretti M. Example distributed sensor network control hierarchy. In Distributed Sensor Networks. CRC Press. 2004. p. 977-1008