Verification of hybrid systems via mathematical programming

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

Volumn 1569, Issue , 1999, Pages 31-45

  Bemporad, Alberto ^a   Morari, Manfred ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; INTEGER PROGRAMMING;

AUTOMOTIVE SUSPENSION SYSTEM; MIXED INTEGER LINEAR PROGRAMMING; MIXED LOGICAL DYNAMICAL; VERIFICATION OF HYBRID SYSTEMS;

SUSPENSIONS (COMPONENTS);

EID: 84949467936     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48983-5_7     Document Type: Conference Paper

References (15)

1. R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. Ho: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In A.P. Ravn R.L. Grossman, A. Nerode and H. Rischel, editors, Hybrid Systems, volume 736 of Lecture notes in computer Science, pages 209-229. Springer Verlag, 1993.
2. R. Alur, T.A. Henzinger, and P.-H. Ho: Automatic symbolic verification of embedded systems. IEEE Trans. on Software Engineering, 22:181-201, 1996.
3. A. Asarin, O. Maler, A. Pnueli: On the Analysis of Dynamical Systems having Piecewise-Constant Derivatives. Theoretical Computer Science, 138:35-65, 1995.
4. A. Bemporad, D. Mignone, and M. Morari: Moving horizon estimation for hybrid systems and fault detection. Submitted American Control Conference, 1999.
5. A. Bemporad and M. Morari: Control of systems integrating logic, dynamics, and constraints. Automatica, 35(3), March 1999.
6. T. M. Cavalier, P. M. Pardalos, and A. L. Soyster: Modeling and integer programming techniques applied to propositional calculus. Computers Opns Res., 17(6):561-570, 1990.
7. N. Elia and B. Brandin: Verification of an automotive active leveler. Technical report, Dept. of Electrical Engineering and Computer Science, M.I.T., 1999.
8. A. Fehnker: Automotive control revised-linear inequalities as approximation of reachable sets. In Hybrid Systems: Computation and Control, volume 1386 of Lecture notes in Computer Science, pages 110-125. Springer Verlag, 1998.
9. R. Fletcher and S. Leyffer: A mixed integer quadratic programming package. Technical report, University of Dundee, Dept. of Mathematics, Scotland, U.K., 1994.
10. R. Fletcher and S. Leyffer: Numerical experience with lower bounds for miqp branch-and-bound. Technical report, University of Dundee, Dept. of Mathematics, Scotland, U.K., 1995. submitted to SIAM Journal on Optimization, http://www.mcs.dundee.ac.uk:8080/ sleyffer/miqp_art.ps. Z.
11. Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine: Integration graphs: a class of decidable hybrid systems. In A.P. Ravn R.L. Grossman, A. Nerode and H. Rischel, editors, Hybrid Systems, volume 736 of Lecture notes in computer Science, pages 179-208. Springer Verlag, 1993.
12. R. Raman and I. E. Grossmann: Relation between milp modeling and logical inference for chemical process synthesis. Computers Chem. Engng., 15(2):73-84, 1991.
13. T. Stauner, Olaf Muller, and M. Fuchs: Using HYTECH to verify an automotive control system. In O. Maler, editor, Hybrid and Real-Time Systems, volume 1201 of Lecture notes in Computer Science, pages 139-153. Springer Verlag, 1997.
14. M.L. Tyler and M. Morari: Propositional logic in control and monitoring problems. Automatica, in print, 1999.
15. H.P. Williams: Model Building in Mathematical Programming. John Wiley & Sons, Third Edition, 1993.