In this paper we address control design of non-deterministic finite state systems with reach-avoid specifications. A general class of controllers is considered, which combines feedforward and output feedback schemes. Results proposed here extend those of [1] in two directions: first, here we consider reach avoid-specifications instead of simply reachability specifications; second, we propose algorithms exhibiting better time computational complexity than those given in [1].
Output Feedback Control of Nondeterministic Finite-State Systems with Reach-Avoid Specifications
Ajeleye, DA
;Masciulli, T;Pola, G
2022-01-01
Abstract
In this paper we address control design of non-deterministic finite state systems with reach-avoid specifications. A general class of controllers is considered, which combines feedforward and output feedback schemes. Results proposed here extend those of [1] in two directions: first, here we consider reach avoid-specifications instead of simply reachability specifications; second, we propose algorithms exhibiting better time computational complexity than those given in [1].File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.