Certifying the LTL Formula p Until q in Hybrid Systems

Publication Type:

D. Journal Articles

Authors:

H. Han; M. Maghenem; R. G. Sanfelice

Source:

To appear in IEEE Transactions on Automatic Control (2022)

Keywords:

Automata, Control systems, Convergence, Dynamical systems, safety, Stability analysis, Time-domain analysis

Preprint attachment:

Attachment	Size
273.pdf	290.84 KB