Reachability analysis of complex planar hybrid systems
Paper i proceeding, 2013
Safety verification
Hybrid systems
Reachability checking
Differential inclusions
Non-linear systems
Författare
Hallstein A. Hansen
Universitetet i Søraust-Noreg (USN)
Gerardo Schneider
Göteborgs universitet
Universitetet i Oslo
Chalmers, Data- och informationsteknik, Programvaruteknik
M. Steffen
Universitetet i Oslo
Science of Computer Programming
0167-6423 (ISSN)
Vol. 78 12 2511-2536Tehran, Iran,
Ämneskategorier
Inbäddad systemteknik
Reglerteknik
Datorsystem
DOI
10.1016/j.scico.2013.02.007