Referenced Items are not available for this document.
A notion of diagnosability for hybrid systems is defined, which generalizes the common notion of observability. We propose an abstraction procedure to translate a hybrid automaton into a timed automaton, in order to verify observability and diagnosability properties. We introduce a procedure to check diagnosability, and show that for the system class of our abstraction (namely for a subclass of timed automata: the durational graphs) the verification problem belongs to the complexity class P. We apply our procedure to an electromagnetic valve system for camless engines.
Published in:
Automatic Control, IEEE Transactions on
(Volume:56
,
Issue:
9
)
Date of Publication: Sept. 2011
- Page(s):
- 2050 - 2061
- ISSN :
- 0018-9286
- INSPEC Accession Number:
- 12216388
- Digital Object Identifier :
- 10.1109/TAC.2011.2105738
- Product Type:
- Journals & Magazines
- Date of Publication :
- 13 January 2011
- Date of Current Version :
- 05 September 2011
- Issue Date :
- Sept. 2011
- Sponsored by :
- IEEE Control Systems Society
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.
