Control of parameterized discrete event systems
From MaRDI portal
Publication:839004
DOI10.1007/s10626-008-0040-9zbMath1169.93018OpenAlexW2069208287MaRDI QIDQ839004
Hans Bherer, Jules Desharnais, Richard St.-Denis
Publication date: 1 September 2009
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-008-0040-9
state feedback controlinterconnection relationparameterized discrete event systemscalable control policyweak and strong soundness
Feedback control (93B52) Discrete event control/observation systems (93C65) Synthesis problems (93B50) Difference equations, scaling ((q)-differences) (39A13) Large-scale systems (93A15)
Related Items
Exploiting symmetry of state tree structures for discrete-event systems with parallel components, Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates, Nash equilibria in symmetric graph games with partial observation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Statecharts: a visual formalism for complex systems
- Modular supervisory control of discrete-event systems
- Bisimulation, the supervisory control problem and strong model matching for finite state machines
- Synthesis of controllers of processes modeled as colored Petri nets
- On-line control of partially observed discrete event systems
- A survey of Petri net methods for controlled discrete event systems
- Binary decision diagrams in theory and practice
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
- Nonblocking supervisory control of state tree structures.
- Supervisory control of a rapid thermal multiprocessor
- Control of vector discrete-event systems. I. The base model
- Characterization of all M-controllable subpredicates of a given predicate
- Control of vector discrete-event systems. II. Controller synthesis
- Blocking and controllability of Petri nets in supervisory control
- Variable lookahead supervisory control with state information
- M -controllable subpredicates arising in state feed back control of discrete event systems
- An Efficient Algorithm for Controller Synthesis under Full Observation
- Online supervisor synthesis for partially observed discrete-event systems
- Exploiting symmetry in the synthesis of supervisors for discrete event systems
- Static-state feedback control of discrete-event systems under partial observation
- On the consistency of hierarchical supervision in discrete-event systems
- Hierarchical interface-based supervisory Control-part I: serial case
- Efficient implementation of fairness in discrete-event systems using queues
- Limited lookahead policies in supervisory control of discrete event systems
- Predicates and predicate transformers for supervisory control of discrete event dynamical systems
- Automated Technology for Verification and Analysis
- Modular Feedback Logic for Discrete Event Systems