A framework for control, state estimation, fault detection, and verification of hybrid systems

At-Automatisierungstechnik

Volumn 47, Issue 8, 1999, Pages 374-381

  Morari, Manfred ^a   Bemporad, Alberto ^a   Mignone, Domenico ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84994408594     PISSN: 01782312     EISSN: None     Source Type: Journal    
DOI: 10.1524/auto.1999.47.8.374     Document Type: Article

References (28)

1. Alur, R., Courcoubetis, C., Henzinger, T. A. and Ho, P. H.: Hybrid Automata:an algorithmic approach to the specification and verification of hybrid systems. In R.L. Grossman, A. Nerode, A. P. Ravn and H. Rischel, editors, Hybrid Systems, volume 736 of Lecture notes in computer Science, pages 209-229. Springer Verlag, 1993.
2. Alur, R” Henzinger, T. A. and Ho, P. H.: Automatic Symbolic Verification of Embedded Systems. IEEE Trans, on Software Engineering.22: 181-201, 1996.
3. Anlauff, M” Bemporad, A., Chakraborty, A., Kutter, P., Mignone, D., Morari, M., Pierantonio, A. and Thiele, L.: From Ease in Programming to Easy Maintenance: Extending DSL Usability with Montages. In submitted to Usenix, DSL 99, 2nd conference on domain specific languages, Austin Texas, 1999.
4. Bemporad, A., Ferrari-Trecate, G. and Morari, M.: Observability and Controllability of Piecewise Affine and Hybrid Systems. submitted to CDC, 1999.
5. Bemporad, A., Mignone, D. and Morari, M.: An Efficient Branch and Bound Algorithm for State Estimation and Control of Hybrid Systems. European Control Conference, 1999.
6. Bemporad, A., Mignone, D. and Morari, M.: Moving Horizon Estimation for Hybrid Systems and Fault Detection. In Proceedings of the American Control Conference, 1999.
7. Bemporad, A. and Morari, M.: Control of Systems Integrating Logic, Dynamics, and Constraints. Automatica, 35(3):407-427, March 1999. ftp://control.ethz.ch/pub/reports/postscript/ AUT98-04.ps.
8. Bemporad, A. and Morari, M.: Verification of Hybrid Systems via Mathematical Programming. In Hybrid Systems: Computation and Control; Second International Workshop, 1999.
9. Berec, L. and Tesar, L.: Testing fault detection methods via three-tank system. Technical Report Issue A, Copernicus Project CT94-0237, 1997.
10. Cavalier, T. M., Pardalos, P. M. and Soyster, A. L.: Modeling and integer programming techniques applied to propositional calculus. Computers Opns Res., 17(6): 561-570, 1990.
11. Dolane, G., Juricic, D., Rakar, A., Petrovcic, J. and Vrancic, D.: Three-tank Benchmark Test. Technical Report Copernicus Project Report CT94-02337, Jozef Stefan Institute, 1997. ftp:// ftp.utia.cas.cz/pub/staff/tesar/fault/latest/.
12. N. Elia and B. Brandin: Verification of an Automotive Active Leveler. In Proceeding of the American Control Conference, 1999.
13. 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.
14. Fletcher, R. and Leyffer, S.: 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.
15. Floudas, C. A.: Nonlinear and Mixed-Integer Optimization.Oxford University Press, 1995.
16. Garcia, C. E., D. M. Prett and Morari, M.: Model Predictive Control: Theory and Practice - a Survey. Automatica, 25(3):335-348, 1989.
17. Heymann, M., Lin, F. and Meyer, G.: Viability of Controllers for Hybrid Machines. Proceedings of the 36th Conference on Decision and Control, 1997.
18. ILOG, Using the CPLEX Callable Library, 5.0 edition, 1997.
19. Keerthi, S. S. and Gilbert, E. G.: Optimal Infinite-Horizon Feedback Laws for a General Class of Constrained Discrete-Time Systems: Stability and Moving-Horizon Approximations. Journal of Optimization Theory and Applications, 57(2): 265-293, 1998.
20. Kesten, Y., Pnueli, A., Sifakis, J. and Yovine, S.: Integration Graphs: a class of decidable hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn and H. Rischel, editors, Hybrid Systems, volume 736 of Lecture notes in computer Science, pages 179-208. Springer Verlag 1993.
21. Lunze, J.: Laboratory Three Tanks System - Benchmark for the Reconfiguration Problem. Technical report, Tech. Univ. of Hamburg-Harburg, Inst, of Control. Eng., Germany, 1998. http://www.tu-harburg.de/rts/software/cosy/.
22. Mignone, D., Bemporad, A. and Morari, M.: A Framework for Control, Fault Detection, State Estimation and Verification of Hybrid Systems. Proceedings of the American Control Conference, 1999.
23. Nemhauser, G. L. and Wolsey, L. A.: Integer and Combinatorial Optimization. Wiley, 1998.
24. Raman, R. and Grossmann, I. E.: Integration of logic and heuristic knowledge in MINLP optimization for process synthesis. Computers and Chemical Engineering, 16(3): 155-171, 1992.
25. Rao, C. V. and Rawlings, J. B.: Nonlinear Moving Horizon Estimation. In International Symposium on Nonlinear Model Predictive Control: Assessment and Future Directions (Ascona, Switzerland), 1998.
26. H. S. Ryoo and N. V. Sahinidis: A Branch-and-Reduce Approach to Global Optimization. Journal of Global Optimization, 8: 107-138, 1996.
27. Stauner, T., Müller, O. and Fuchs, M.: 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.
28. Williams, H. P.: Model Building in Mathematical Programming.John Wiley & Sons, Third Edition, 1993.