Back to Search
Start Over
A state-based framework for supervisory control synthesis and verification.
- Source :
- 2010 49th IEEE Conference on Decision & Control (CDC); 2010, p3481-3486, 6p
- Publication Year :
- 2010
Details
- Language :
- English
- ISBNs :
- 9781424477456
- Database :
- Complementary Index
- Journal :
- 2010 49th IEEE Conference on Decision & Control (CDC)
- Publication Type :
- Conference
- Accession number :
- 81346391
- Full Text :
- https://doi.org/10.1109/CDC.2010.5717095