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.
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 call
