Control synthesis for a class of hybrid systems subject to configuration-based safety constraints
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 376-390
- https://doi.org/10.1007/bfb0014739
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Steam-boiler control specification problemPublished by Springer Nature ,1996
- Using HyTech to synthesize control parameters for a steam boilerLecture Notes in Computer Science, 1996
- Universal computation and other capabilities of hybrid and continuous dynamical systemsTheoretical Computer Science, 1995
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- What's decidable about hybrid automata?Published by Association for Computing Machinery (ACM) ,1995
- Symbolic controller synthesis for discrete and timed systemsLecture Notes in Computer Science, 1995
- On-line control of partially observed discrete event systemsDiscrete Event Dynamic Systems, 1994
- Hybrid system modeling and autonomous control systemsPublished by Springer Nature ,1993
- Concurrency and discrete event controlIEEE Control Systems Magazine, 1990