A Policy Iteration Technique for Time Elapse over Template Polyhedra

DOI10.1007/978-3-540-78929-1_57zbMath1144.93327OpenAlexW1760322535MaRDI 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

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (5)

Template-Based Unbounded Time Verification of Affine Hybrid Automata ⋮ Numerical invariants through convex relaxation and max-strategy iteration ⋮ A topological method for finding invariant sets of continuous systems ⋮ Symbolic Model Checking of Hybrid Systems Using Template Polyhedra ⋮ Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants

Cites Work

• Set invariance in control
• Hybrid Systems: Computation and Control
• Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
• Static Analysis by Policy Iteration on Relational Domains

This page was built for publication: A Policy Iteration Technique for Time Elapse over Template Polyhedra