Output Feedback Reachability of Controlled–Observable States for Nondeterministic Finite–State Systems | IEEE Journals & Magazine | IEEE Xplore

Output Feedback Reachability of Controlled–Observable States for Nondeterministic Finite–State Systems

Publisher: IEEE

Abstract:

In this letter control design of nondeterministic finite state systems with reachability specifications is addressed. The class of controllers we use is rather general an...View more

Abstract:

In this letter control design of nondeterministic finite state systems with reachability specifications is addressed. The class of controllers we use is rather general and combines feedforward and output feedback schemes. The proposed controller allows not only the state of the system to reach the desired target set but also the identification of which state of the target set has been reached. Necessary and sufficient conditions are derived for the control problem to admit a solution and a controller is designed. The solution to the investigated problem has important implications in the context of recovery control and symbolic control design of nonlinear and hybrid systems, as discussed also through some examples.
Published in: IEEE Control Systems Letters ( Volume: 6)
Page(s): 464 - 469
Date of Publication: 14 May 2021
Electronic ISSN: 2475-1456
Publisher: IEEE

Funding Agency:


References

References is not available for this document.