Analysis and control of hybrid systems with parameter uncertainty based on interval methods

Proceedings of the American Control Conference

Volumn , Issue , 2009, Pages 3632-3637

  Kobayashi, Koichi ^a   Hiraishi, Kunihiko ^a  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL METHODS; COMPUTATION TIME; CONVEX POLYHEDRONS; DISCRETE-TIME; HIGH-DIMENSIONAL SYSTEMS; INTERVAL METHODS; MIXED LOGICAL DYNAMICAL MODELS; NUMERICAL COMPUTATIONS; PARAMETER UNCERTAINTY; PIECEWISE SYSTEMS; PROBLEM FORMULATION;

CONTINUOUS TIME SYSTEMS; ELECTRIC GROUNDING; HYBRID COMPUTERS; HYBRID SYSTEMS; NUMERICAL METHODS; UNCERTAINTY ANALYSIS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 70449627734     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2009.5159932     Document Type: Conference Paper

References (14)

1. A. Abate and A. Tiwari, "Box invariance of hybrid and switched systems," 2nd IFAC Conf. on Analysis and Design of Hybrid Systems, pp. 359-364, 2006.
2. A. Abate, A. Tiwari, and S. Sastry, "Box Invariance for biologicallyinspired dynamical systems," 46th IEEE Conf. on Decision and Control, pp. 5162-5167, 2007.
3. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, "Discrete Abstractions of Hybrid Systems," Proceedings of the IEEE, vol. 88, no. 7, pp. 971-984, 2000.
4. R. Alur, T. Dang, and F. Ivančić, "Predicate Abstraction for Reachability Analysis of Hybrid Systems," ACM Trans. on Embedded Computing Systems, vol. 5, no, 1, pp. 152-199, 2006.
5. S. Azuma and J. Imura, "Polynomial-Time Probabilistic Controllability Analysis of Discrete-Time Piecewise Affine Systems," IEEE Trans. on Automatic Control, vol. 52, no. 11, pp. 2029-2046, 2007.
6. A. Bemporad and M. Morari, "Control of systems integrating logic, dynamics, and constraints," Automatica, vol. 35, pp. 407-427, 1999.
7. A. Bemporad, G. Ferrari-Trecate, and M. Morari, "Observability and Controllability of Piecewise Affine and Hybrid Systems," IEEE Trans. on Automatic Control, vol. 45, no. 10, pp. 1864-1876, 2000.
8. T. M. Cavalier, P. M. Pardalos, and A. L. Soyster, "Modeling and integer programming techniques applied to propositional calculus," Computer & Operations Research, vol. 17, no. 6, pp. 561-570, 1990.
9. R. E. Moore, Methods and Applications of Interval Analysis, Philadelphia, 1979.
10. N. Ramdani, N. Meslem, and Y. Candau, "Reachability of uncertain nonlinear systems using a nonlinear hybridization," Proc. of 11th Int'l Conf. on Hybrid Systems: Computation and Control, LNCS 4981, 2008.
11. S. Ratschan and Z. She, "Safety Verification of Hybrid Systems by Constraint Propagation-Based Abstraction Refinement," ACM Trans. on Embedded Computing Systems, vol. 6, no, 1, 2007.
12. A. Rauh, M. Kletting, H. Ashemann, and E. P. Hofer, "Interval Methods for Simulation of Dynamical Systems with State-Dependent Switching Characteristics," Proc. of 2006 IEEE Int'l Conf. on Control Applications, pp. 355-360, 2006.
13. A. R. Teel and R. G. Sanfelice Eds., Proc. 45th IEEE Conf. on Decision and Control/Workshop on Robust Hybrid Systems: theory and applications, 2006.
14. http://www.ilog.com/products/cplex/