Reachability analysis of complex planar hybrid systems
Paper in proceeding, 2013
Safety verification
Hybrid systems
Reachability checking
Differential inclusions
Non-linear systems
Author
Hallstein A. Hansen
University of South-Eastern Norway (USN)
Gerardo Schneider
University of Gothenburg
University of Oslo
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
M. Steffen
University of Oslo
Science of Computer Programming
0167-6423 (ISSN)
Vol. 78 12 2511-2536Tehran, Iran,
Subject Categories
Embedded Systems
Control Engineering
Computer Systems
DOI
10.1016/j.scico.2013.02.007