scientific article; zbMATH DE number 1303062
From MaRDI portal
Publication:4249564
zbMath0928.93024MaRDI QIDQ4249564
Publication date: 9 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
hybrid systemsbisimulationsfoliationsexterior differential systemsapproximation verification methodsymbolic execution theory
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Algorithmic analysis of polygonal hybrid systems. I: Reachability ⋮ Symbolic models for control systems ⋮ The minimum principle of hybrid optimal control theory ⋮ Finite abstractions for hybrid systems with stable continuous dynamics ⋮ Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer ⋮ A set oriented approach to global optimal control
This page was built for publication:
