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
Sriram Sankaranarayanan, Franjo Ivančić, Thao Dang
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, A topological method for finding invariant sets of continuous systems, 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