Certifying the LTL Formula p Until q in Hybrid Systems

Publication Type:

D. Journal Articles

Authors:

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

Source:

IEEE Transactions on Automatic Control, Volume 68, Number 7, p.4451-4458 (2022)

Keywords:

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

Preprint attachment:

Attachment	Size
273.pdf	290.84 KB