Referenced Items are not available for this document.
This paper is about control analysis, synthesis and verification of hybrid control systems (HCSs). Two kind of I/O automata are presented for modeling the extended plant of HCSs. DES I/O automata are defined by additionally introducing control alphabet, input and output events. Timed I/O automata are defined based on DES I/O automata by taking time delay into consideration. The decision-maker can be synthesised by using the proposed models. Some rules are presented for partial verification of correctness of the design. An inverted pendulum is used to illustrate our modeling techniques and proposed methods for control synthesis and verification
Published in:
Computer-Aided Control System Design, 1996., Proceedings of the 1996 IEEE International Symposium on
Date of Conference: 15-18 Sep 1996
- Page(s):
- 38 - 43
- Meeting Date :
- 15 Sep 1996-18 Sep 1996
- Print ISBN:
- 0-7803-3032-3
- INSPEC Accession Number:
- 5418533
- Conference Location :
- Dearborn, MI
- Digital Object Identifier :
- 10.1109/CACSD.1996.555194
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
