State based control of timed discrete event systems using binary decision diagrams
From MaRDI portal
Publication:864498
DOI10.1016/j.sysconle.2006.07.012zbMath1120.93316MaRDI QIDQ864498
W. Murray Wonham, Ali Saadatpoor
Publication date: 9 February 2007
Published in: Systems \& Control Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.sysconle.2006.07.012
93C83: Control/observation systems involving computers (process control, etc.)
93C65: Discrete event control/observation systems
93B50: Synthesis problems
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- State based control of timed discrete event systems using binary decision diagrams
- Symbolic model checking: \(10^{20}\) states and beyond
- Graph-Based Algorithms for Boolean Function Manipulation
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of timed discrete-event systems