A framework for compositional nonblocking verification of extended finite-state machines
From MaRDI portal
Recommendations
- Compositional verification in supervisory control
- Conflict-preserving abstraction of discrete event systems using annotated automata
- Compositional coordinator synthesis of extended finite automata
- Compositional verification of the generalized nonblocking property using abstraction and canonical automata
- scientific article; zbMATH DE number 1487866
Cites work
- Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions
- Compositional verification in supervisory control
- CONFLICTS AND FAIR TESTING
- scientific article; zbMATH DE number 438994 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 177514 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Logic in Computer Science
- Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids
- Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
- Verification of Nonconflict of Supervisors Using Abstractions
Cited in
(13)- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
- Compositional coordinator synthesis of extended finite automata
- Optimal modular control of discrete event systems with distinguishers and approximations
- Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
- On the computation of counterexamples in compositional nonblocking verification
- Symbolic verification and test generation for a network of communicating FSMs
- Conflict-preserving abstraction of discrete event systems using annotated automata
- Compositional verification in supervisory control
- Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions
- Compositional non-blockingness verification of finite automata with prioritised events
- Runtime composition of systems of interacting cyber-physical components
- Smart contract denial-of-service analysis using non-blocking verification
- Offline supervisory control synthesis: taxonomy and recent developments
This page was built for publication: A framework for compositional nonblocking verification of extended finite-state machines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q262429)
