scientific article; zbMATH DE number 2085314
From MaRDI portal
Publication:4736572
zbMath1044.93517MaRDI QIDQ4736572
Franjo Ivančić, Thao Dang, Rajeev Alur
Publication date: 9 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2289/22890035.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (8)
Counterexample-guided predicate abstraction of hybrid systems ⋮ Algorithm of uniform filling of nonlinear dynamic system reachable set based on maximin problem solution ⋮ An approximation algorithm for box abstraction of transition systems on real state spaces ⋮ Hybrid abstractions of affine systems ⋮ Inclusion dynamics hybrid automata ⋮ Trajectory Based Verification Using Local Finite-Time Invariance ⋮ Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* ⋮ Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
Uses Software
This page was built for publication:
