Multiobjective hybrid controller synthesis
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 109-123
- https://doi.org/10.1007/bfb0014720
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Optimal Control Approach to Multiagent, Hierarchical System VerificationIFAC Proceedings Volumes, 1996
- Steam-boiler control specification problemPublished by Springer Nature ,1996
- Using HyTech to synthesize control parameters for a steam boilerPublished by Springer Nature ,1996
- Computer Aided VerificationPublished by Springer Nature ,1996
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsPublished by Springer Nature ,1993
- The control of discrete event systemsProceedings of the IEEE, 1989