Control synthesis for a class of hybrid systems subject to configuration-based safety constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1201, Issue , 1997, Pages 376-390

  Heymann, Michael ^a,b   Lin, Feng ^c   Meyer, George ^b  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b NASA AMES RESEARCH CENTER   (United States)

^c Wayne State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOILERS; CONCURRENCY CONTROL; CONTROLLERS; ENGINES; HYBRID SYSTEMS; INTERACTIVE COMPUTER SYSTEMS;

CONCURRENT OPERATIONS; CONTROL SYNTHESIS; DYNAMIC VARIABLES; HYBRID MACHINE; SAFETY CONSTRAINT; STEAM BOILER;

REAL TIME SYSTEMS;

EID: 84957687382     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0014739     Document Type: Conference Paper

References (20)

1. J.-R. Abrial, 1995. Steam-boiler control specification problem. Dagstuhl Meeting: Method for Semantics and Specification.
2. R. Alur and D. Dill, 1990. Automata for modeling real-time systems. Proc. of the 17th International Colloquium on Automata, Languages and Programming, pp. 322-336.
3. R. Alur, C. Courcoubetis, N. Halbwaehs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138, pp. 3-34.
4. P.J. Antsaklis, J.A. Stiver, and M. Lemmon, 1993. Hybrid system modeling and autonomous control systems. Hybrid Systems, Lecture Notes in Computer Science, 736, Springer-Verlag, pp. 366-392.
5. Asarin, O. Maler and A. Pnueli, 1995. Symbolic Controller Synthesis for Discrete and Timed systems, Hybrid Systems II.
6. M. S. Branicky, 1995. Universal computation and other capabilities of hybrid and continuous dynamical systems. Theoretical Computer Science, 138, pp. 67-100.
7. T. Henzinger, P. Kopke, A. Puri and P. Varaiya, 1995. What's decidable about hybrid automata, Proc. of the 27th Annual ACM Symposium on the Theory of Computing.
8. T. A. Henzinger and H. Wong-Toi, 1996. Using HYTECH to synthesize control parameters for a steam boiler. Preprint.
9. M. Heymann 1990. Concurrency and discrete event control, IEEE Control Systems Magazine, Vol. 10, No.l, pp 103-112.
10. M. Heymann and F. Lin, 1994. On-line control of partially observed discrete event systems. Discrete Event Dynamic Systems: Theory and Applications, 4(3), pp. 221-236.
11. M. Heymann and F. Lin, 1996. Discrete event control of nondeterministic systems, control of nondeterministic systems, CIS Report 9601, Technion, Israel.
12. M. Heymann and F. Lin, 1996. Hierarchical hybrid machines. To appear.
13. F. Lin and W. M. Wonham, 1988. On observability of discrete event systems. Information Sciences, 44(3), pp. 173-198.
14. O. Maler, Z. Manna and A. Pnueli, 1991. From timed to hybrid systems. In Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pp. 447-484. Springer Verlag.
15. O. Maler, A. Pnueli, and J. Sifakis, 1995. On the Synthesis of Discrete Controllers for Timed Systems, STACS’95.
16. Z. Manna and A. Pnueli, 1993. Verifying hybrid systems. Hybrid Systems, Lecture Notes in Computer Science, 736, Springer-Verlag, pp. 4-35.
17. A. Nerode and W. Kohn, 1993. Models for hybrid systems: automata, topologies, controllability, observability. Hybrid Systems, Lecture Notes in Computer Science, 736, Springer-Verlag, pp. 317-356.
18. X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, 1993. Am approach to the description and analysis of hybrid systems. Hybrid Systems, Lecture Notes in Computer Science, 736, Springer-Verlag, pp. 149-178.
19. X. Nicollin, J. Sifakis, and S. Yovine, 1991. From ATP to timed graphs and hybrid systems. In Real Time: Theory in Practice, Lecture Notes in Computer Science 600, Springer-Verlag, pp. 549-572.
20. R. J. Ramadge and W. M. Wonham, 1987. Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization, 25(1), pp. 206-230.