Time-bounded reachability for initialized hybrid automata with linear differential inclusions and rectangular constraints

Nima Roohi, Mahesh Viswanathan

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Time-bounded reachability for initialized hybrid automata with linear differential inclusions and rectangular constraints'. Together they form a unique fingerprint.

Keyphrases

Computer Science