A decidable class of planar linear hybrid systems
Under an Elsevier user license
open archive
Keywords
Hybrid systems
Decidability
Planar systems
Piecewise constant derivatives
Bisimulations
Reachability
Verification
Safety
Cited by (0)
Copyright © 2014 Elsevier B.V. All rights reserved.