State estimation for polyhedral hybrid systems and applications to the Godunov scheme

DOI10.1145/2461328.2461354zbMath1362.93069OpenAlexW2135769663MaRDI QIDQ2986916

Alexandre M. Bayen, Jérôme Thai

Publication date: 16 May 2017

Published in: Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2461328.2461354

zbMATH Keywords

hybrid systemsGodunov schemeinteractive multiple model

Mathematics Subject Classification ID

Filtering in stochastic control theory (93E11) Control/observation systems governed by partial differential equations (93C20) Approximation methods and heuristics in mathematical programming (90C59) Estimation and detection in stochastic control theory (93E10) Linear systems in control theory (93C05) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• A note on two problems in connexion with graphs
• Enhancing model checking in verification by AI techniques
• Receding horizon control for temporal logic specifications
• Model Repair for Probabilistic Systems
• Markov decision processes and regular events
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Controlling a Class of Nonlinear Systems on Rectangles
• Diagnostic Information for Realizability
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: State estimation for polyhedral hybrid systems and applications to the Godunov scheme