A Policy Iteration Technique for Time Elapse over Template Polyhedra

DOI10.1007/978-3-540-78929-1_57zbMATH Open1144.93327OpenAlexW1760322535MaRDI QIDQ3523151FDOQ3523151

Authors: Sriram Sankaranarayanan, Thao Dang, 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

Recommendations

• Template-based unbounded time verification of affine hybrid automata
• Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
• Hybrid Systems: Computation and Control
• Space-time interpolants
• Policy iteration in finite templates domain

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (6)

• Hybrid Systems: Computation and Control
• Numerical invariants through convex relaxation and max-strategy iteration
• Template-based unbounded time verification of affine hybrid automata
• 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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3523151)