Abstract
In this paper, we consider state feedback control of discrete event systems under partial state observation. A control specification is assumed to be given in terms of a predicate on the set of states. First, we introduce a new definition of observability of predicates, which is a generalization of the definition proposed by Li and Wonham. We then show necessary and sufficient conditions for the existence of a state feedback which achieves the control specification. Next, we introduce the notion of η-observability, which is a natural extention of observability, and present necessary and sufficient conditions for the existence of a decentralized state feedback which achieves the control specification.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Transactions of the Institute of Systems, Control and Information Engineers
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
