A Policy Iteration Technique for Time Elapse over Template Polyhedra
From MaRDI portal
Publication:3523151
DOI10.1007/978-3-540-78929-1_57zbMath1144.93327MaRDI QIDQ3523151
Thao Dang, Sriram Sankaranarayanan, Franjo Ivančić
Publication date: 2 September 2008
Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78929-1_57
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra, Numerical invariants through convex relaxation and max-strategy iteration, Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants, Template-Based Unbounded Time Verification of Affine Hybrid Automata
Cites Work