Approximately bisimilar discrete abstractions of nonlinear systems using variable-resolution quantizers

Proceedings of the 2010 American Control Conference, ACC 2010

Volumn , Issue , 2010, Pages 1015-1020

  Tazaki, Yuichi ^a   Imura, Jun Ichi ^b  

^a NAGOYA UNIVERSITY   (Japan)

^b TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL ENGINEERING;

ABSTRACT MODELS; APPROXIMATE BISIMULATION; CONTINUOUS STATE; DISCRETE ABSTRACTION; FINITE STATE SYSTEMS; LINEAR INEQUALITIES; LINEAR PROGRAMMING SOLVERS; VARIABLE RESOLUTION;

LINEAR PROGRAMMING;

EID: 77957786871     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/acc.2010.5530730     Document Type: Conference Paper

References (7)

1. A. Girard and G.J. Pappas : Approximation metrics for discrete and continuous systems, IEEE Transactions on Automatic Control, 52(5), 782/798, 2007.
2. A.A. Julius and G.J. Pappas: Approximate Equivalence and Approximate Synchronization of Metric Transition Systems, in the Proc. 45th IEEE Conf. Decision and Control 2006, San Diego, USA.
3. A. Girard : Approximately Bisimilar Finite Abstractions of Stable Linear Systems, Hybrid Systems: Computation and Control, vol 4416 in LNCS, 231/244, Springer, 2007.
4. P. Tabuada : Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems, Hybrid Systems: Computation and Control, vol 4416 in LNCS, 529/542, Springer, 2007.
5. G. Pola, A. Girard and P. Tabuada: Symbolic models for nonlinear control systems using approximate bisimulation, 46th IEEE Conference on Decision and Control, 4656/4661, 2007. (Pubitemid 351277878)
6. A. Girard and G.J. Pappas : Hierarchical control system design using approximate simulation, Automatica, 45(2), 566/571, 2009.
7. Y. Tazaki and J. Imura : Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer, 12th International Conference on Hybrid Systems: Computation and Control (HSCC'09), pp.351- 365, San Francisco, CA, USA, April, 2009.