Compositional verification in supervisory control
From MaRDI portal
Recommendations
- A survey on compositional algorithms for verification and synthesis in supervisory control
- A framework for compositional nonblocking verification of extended finite-state machines
- Conflict-preserving abstraction of discrete event systems using annotated automata
- Progressive events in supervisory control and compositional verification
- scientific article; zbMATH DE number 1836359
Cited in
(24)- On conditional decomposability
- Compositional coordinator synthesis of extended finite automata
- On-the-fly informed search of non-blocking directed controllers
- Time-optimal control of large-scale systems of systems using compositional optimization
- On the computation of counterexamples in compositional nonblocking verification
- Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder
- A framework for compositional nonblocking verification of extended finite-state machines
- Incremental verification for on-the-fly controller synthesis
- Conflict-preserving abstraction of discrete event systems using annotated automata
- Verification of Supervisory Control Software Using State Proximity and Merging
- On a structural property in the state complexity of projected regular languages
- Compositional synthesis of supervisors in the form of state machines and state maps
- Compositional verification of the generalized nonblocking property using abstraction and canonical automata
- State complexity of projected languages
- Progressive events in supervisory control and compositional verification
- Conceptual design of discrete-event systems using templates
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
- A survey on compositional algorithms for verification and synthesis in supervisory control
- Compositional non-blockingness verification of finite automata with prioritised events
- Offline supervisory control synthesis: taxonomy and recent developments
- Hierarchical controller synthesis using (, )-similarity
- Unified bisimulation applied to incremental abstraction of Petri nets
- Supervisory control of discrete event systems with distinguishers
- Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
This page was built for publication: Compositional verification in supervisory control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3566992)
