Discrete-state abstractions of nonlinear systems using multi-resolution quantizer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5469, Issue , 2009, Pages 351-365

  Tazaki, Yuichi ^a   Imura, Jun Ichi ^a  

^a TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN METHOD; DISCRETE ABSTRACTION; DISCRETE STATE; DISCRETE-STATE SYSTEMS; ERROR PRECISION; MULTI-RESOLUTION; NON-UNIFORM DISTRIBUTION; QUANTIZATION ERRORS; QUANTIZER; STATE ABSTRACTION; STATE SPACE; STATE-DEPENDENT;

ABSTRACTING; ELECTRIC GROUNDING; HYBRID COMPUTERS; HYBRID SYSTEMS; NONLINEAR SYSTEMS;

MULTIRESOLUTION ANALYSIS;

EID: 67650164752     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00602-9_25     Document Type: Conference Paper

References (16)

1. Lafferriere, G., Pappas, G.J., Sastry, S.S.: Hybrid Systems with Finite Bisimulations. In: Antsaklis, P.J., Kohn, W., Lemmon, M.D., Nerode, A., Sastry, S.S. (eds.) HS 1997. LNCS, vol. 1567, pp. 186-203. Springer, Heidelberg (1999)
2. Broucke, M.E.: A geometric approach to bisimulation and verification of hybrid systems. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol. 1569, pp. 61-75. Springer, Heidelberg (1999)
3. Habets, L.C.G.J.M., Collins, P.J., van Schuppen, J.H.: Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Transactions on Automatic Control 51(6), 938-948 (2006) (Pubitemid 43997244)
4. Kloetzer, M., Belta, C.: A Fully Automated Framework for Control of Linear Systems from LTL Specifications. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 333-347. Springer, Heidelberg (2006) (Pubitemid 44019596)
5. Caines, P.E., Wei, Y.: Hierarchical Hybrid Control Systems: A Lattice Theoretic Formulation. IEEE Trans. on Automatic Control 43(4), 501-508 (1998) (Pubitemid 128737374)
6. Alur, R., Verimag, T.D., Ivančíc, F.: Predicate Abstractions for Reachability Analysis of Hybrid Systems. ACM Trans. on Embedded Computing Systems 5(1), 152- 199 (2006)
7. Lunze, J., Nixdorf, B., Schr̈oder, J.: Deterministic Discrete-event Representations of Linear Continuous-variable Systems. Automatica 35, 395-406 (1999)
8. Koutsoukos, X.D., Antsaklis, P.J., Stiver, J.A., Lemmon, M.D.: Supervisory Control of Hybrid Systems. In: Antsaklis, P.J. (ed.) Proc. of IEEE, Special Issue in Hybrid Systems, July 2000, pp. 1026-1049 (2000)
9. Raisch, J., O'Young, S.D.: Discrete Approximation and Supervisory Control of Continuous Systems. IEEE Trans. on Automatic Control 43(4), 569-573 (1998) (Pubitemid 128737381)
10. Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control 52(5), 782-798 (2007) (Pubitemid 46796065)
11. Girard, A.: Approximately bisimilar finite abstractions of stable linear systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 231-244. Springer, Heidelberg (2007)
12. Tabuada, P.: Approximate simulation relations and finite abstractions of quantized control systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 529-542. Springer, Heidelberg (2007)
13. Pola, G., Girard, A., Tabuada, P.: Symbolic models for nonlinear control systems using approximate bisimulation. In: 46th IEEE Conference on Decision and Control, pp. 4656-4661 (2007) (Pubitemid 351277878)
14. Tazaki, Y., Imura, J.: Finite Abstractions of Discrete-time Linear Systems and Its Application to Optimal Control. In: 17th IFAC World Congress (2008) (in CDROM)
15. Tazaki, Y., Imura, J.-i.: Bisimilar finite abstractions of interconnected systems. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 514-527. Springer, Heidelberg (2008)
16. Ramdani, N., Meslem, N., Candau, Y.: Reachability of uncertain nonlinear systems using a nonlinear hybridization. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 415-428. Springer, Heidelberg (2008)