Expression and Analysis of Algorithm via Dynamical System

IECON Proceedings (Industrial Electronics Conference)

Volumn 2, Issue , 2003, Pages 1134-1139

  Tajikawa, Tomoyuki ^a   Tabaru, Tetsuya ^a   Shin, Seiichi ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS DYNAMICS; MIXED LOGICAL DYNAMICAL (MLD) SYSTEM;

ALGORITHMS; COMPUTER VIRUSES; DISCRETE TIME CONTROL SYSTEMS; OPTIMIZATION; PROBLEM SOLVING; RELIABILITY; SYSTEM STABILITY;

COMPUTER SOFTWARE;

EID: 1442304667     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IECON.2003.1280209     Document Type: Conference Paper

References (11)

1. K.Asano, K.Tsuda, A.Bemporad, and M.Morari: "Predictive Control of Hybrid Systems and Apply to Process Control", System/Control/Information, vol. 46, no. 3, 2002, pp. 110-119 (in Japanese).
2. A.Bemporad and M.Morari: "Control of systems integrating logic, dynamics, and constraints", Automatica, vol. 35, no. 3, 1999, pp. 407-427.
3. A.Bemporad, F.D.Torrisi, and M.Morari: "Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems", in Hybrid Systems: Computation and Control, vol. 1790 of Lecture Notes in Computer Science, Springer Verlag, pp. 45-58.
4. A.Bemporad, G.Ferrari-Trecate, and M.Morari: "Observability and controllability of piecewise affine and hybrid systems", IEEE Trans. Automatic Control, to appear. http://control.ethz.ch/
5. A.Bemporad and M.Morari: "Optimization-Based Hybrid Control Tools", in American Control Conference, 2001
6. J.Lygeros, O.Pappas, and S.Sastry: "Computing Controllers for Nonlinear Hybrid Systems", Preprints of the First Nonlinear Control Network Pedagogical School, Athens, Greece, September 1999, pp. 307-329.
7. C.Tomlin, J.Lygeros, and S.Sastry: "Computing Controllers for Nonlinear Hybrid Systems", in Hybrid Systems: Computation and Control, 1999
8. F.D.Torrisi, A.Bemporad, and D.Mignone: "HYSDEL: A language for describing hybrid systems", Technical Report AUT00-03, ETH Zurich, 2000. code available at http://control.ethz.ch/hybrid/hysdel
9. T.Ushio: "Hopes of Hybrid Systems", System/Control/Information, vol. 46, no. 3, 2002, pp. 105-109 (in Japanese).
10. B.W.Kernighan and D.M.Ritchie: "The C programming language, Second Edition", Prentice Hall Inc, 1988
11. K.Kurata and K.Ishikawa: "Commentary: testing certainly without waste", Nikkei System Integration, no. 124, 2003, pp. 158-173 (in Japanese)