Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
From MaRDI portal
Publication:2348368
DOI10.1007/s10626-014-0201-yzbMath1328.93055MaRDI QIDQ2348368
Publication date: 12 June 2015
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://research.tue.nl/nl/publications/employing-behavioral-preorders-to-define-controllability-for-nondeterministic-discreteevent-systems(285e96ca-3dc2-4949-8467-1d67dd589e3c).html
93C65: Discrete event control/observation systems
93E03: Stochastic systems in control theory (general)
93B03: Attainable sets, reachability
Related Items
Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications, On the stabilization of nondeterministic finite automata via static output feedback
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An implementation of an efficient algorithm for bisimulation equivalence
- An efficient simulation algorithm based on abstract interpretation
- Bisimulation, the supervisory control problem and strong model matching for finite state machines
- From bisimulation to simulation: Coarsest partition problems
- Compositional synthesis of maximally permissive supervisors using supervision equivalence
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of discrete-event processes with partial observations
- Three Partition Refinement Algorithms
- Supervisory control using failure semantics and partial specifications
- Discrete-event control of nondeterministic systems
- Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
- Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems