Abstract
The authors investigate the problem of designing stabilizing feedback compensators for discrete-event dynamic systems (DEDS) modeled as finite-state automata in which some transition events are controllable and some events are observed. The problem of output stabilization is defined as the construction of a compensator such that all state trajectories in the closed-loop system go through a given set E infinitely often. The authors also define a stronger notion of output stabilizability which requires that the state not only pass through E infinitely often but that the set of instants when the state is in E and one knows it is in E is also infinite. Necessary and sufficient conditions are presented for both notions. The authors also introduce and characterize a notion of resiliency that corresponds to the system being able to recover from observation errors. In addition, they provide some general bounds for the algorithms considered and discuss several conditions under which far smaller bounds can be achieved.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
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.