Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants

DOI10.1007/978-3-642-39698-4_22zbMath1390.68316arXiv1304.0825MaRDI QIDQ2842646

Naijun Zhan, Deepak Kapur, Heng-Jun Zhao

Publication date: 16 August 2013

Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1304.0825

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

Uses Software

• QEPCAD
• Sostools
• SeDuMi
• TOMLAB
• REDLOG
• YALMIP
• PENBMI

Cites Work

• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• A quantifier-elimination based heuristic for automatically generating inductive assertions for programs
• Exact safety verification of hybrid systems using sums-of-squares representation
• Real quantifier elimination is doubly exponential
• Set invariance in control
• Computation of polytopic invariants for polynomial dynamical systems using linear programming
• Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
• A Differential Operator Approach to Equational Differential Invariants
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs
• Non-linear loop invariant generation using Gröbner bases
• Computing Differential Invariants of Hybrid Systems as Fixedpoints
• Constraint-Based Approach for Analysis of Hybrid Systems
• A Policy Iteration Technique for Time Elapse over Template Polyhedra
• Synthesizing Switching Logic Using Constraint Solving
• On invariant polyhedra of continuous-time linear systems
• Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
• A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example
• SOSTOOLS and Its Control Applications
• QEPCAD B
• Semidefinite Programming
• The Structure of Differential Invariants and Differential Cut Elimination
• Pre- and Post-Processing Sum-of-Squares Programs in Practice
• Verification and synthesis using real quantifier elimination
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• Hybrid Systems: Computation and Control
• Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation