Approximate Simulation Relations for Hybrid Systems

Authors:
Antoine Girard;A. Agung Julius;George J. Pappas
Affiliations:
Laboratoire Jean Kuntzmann, Université Joseph Fourier, Grenoble Cedex 9, France 38041;Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, USA 19104;Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, USA 19104
Venue:
Discrete Event Dynamic Systems
Year:
2008

Citing 12
Cited 9

The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Inverse Optimality in Robust Stabilization

SIAM Journal on Control and Optimization
Communication and Concurrency

Communication and Concurrency
Metrics for labelled Markov processes

Theoretical Computer Science - Logic, semantics and theory of programming
Bisimulation relations for dynamical, control, and hybrid systems

Theoretical Computer Science
Symbolic models for control systems

Acta Informatica - Hybrid Systems
Approximate bisimulation relations for constrained linear systems

Automatica (Journal of IFAC)
Hierarchical synthesis of hybrid controllers from temporal logic specifications

HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Approximate abstraction of stochastic hybrid automata

HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
PHAVer: algorithmic verification of hybrid systems past hytech

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Discrete abstractions for robot motion planning and control in polygonal environments

IEEE Transactions on Robotics
Bisimilar linear systems

Automatica (Journal of IFAC)

Discrete Semantics for Hybrid Automata

Discrete Event Dynamic Systems
Receding horizon control for temporal logic specifications

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Stabilization of Finite Automata with Application to Hybrid Systems Control

Discrete Event Dynamic Systems
Minimum attention controller synthesis for omega-regular objectives

FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Crossing the bridge between similar games

FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Pre-orders for reasoning about stability

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction

The Journal of Supercomputing
Quantitative timed simulation functions and refinement metrics for real-time systems

Proceedings of the 16th international conference on Hybrid systems: computation and control
Pre-orders for reasoning about stability properties with respect to input of hybrid systems

Proceedings of the Eleventh ACM International Conference on Embedded Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we extend this abstraction framework to hybrid systems. Using the notion of simulation functions, we develop a characterization of approximate simulation relations which can be used for hybrid systems approximation. For several classes of hybrid systems, this characterization leads to effective algorithms for the computation of approximate simulation relations. An application in the context of reachability analysis is shown.