Linear coupled component automata for MILP modeling of hybrid systems

Computers and Chemical Engineering

Volumn 33, Issue 1, 2009, Pages 162-175

  Agarwal, Ashish ^a   Grossmann, Ignacio E ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Discrete continuous systems; Hybrid automata; Modeling frameworks; Optimization

Indexed keywords

DISCRETE TIME CONTROL SYSTEMS; DYNAMICAL SYSTEMS; INTEGER PROGRAMMING; LINEARIZATION; SCHRODINGER EQUATION; TRANSLATION (LANGUAGES); UNMANNED AERIAL VEHICLES (UAV);

CONTINUOUS DYNAMICAL SYSTEMS; DISCRETE-CONTINUOUS SYSTEMS; HYBRID AUTOMATA; HYBRID SYSTEMS; MIXED-INTEGER LINEAR PROGRAMMINGS; MODEL FORMULATIONS; MODELING FRAMEWORKS; PIECEWISE CONSTANTS; TRANSFORMING MODELS;

ROBOTS;

EID: 56949096792     PISSN: 00981354     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.compchemeng.2008.07.014     Document Type: Article

References (26)

1. Abdeddaim Y., and Maler O. Job-shop scheduling using timed automata. In: Berry G., Comon H., and Finkel A. (Eds). Proceedings of the 13th international conference on computer aided verification, CAV 2001, Lecture notes in computer science (Vol. 2102, pp. 478-492) (2001), Springer-Verlag, Berlin, Germany
2. Abdeddaim, Y., & Maler, O. (2002). Preemptive job-shop scheduling using stopwatch automata. Tools and algorithms for the construction and analysis of systems. In Proceedings of the 8th international conference, TACAS 2002. Held as Part of the Joint European conferences on theory and practice of software, ETAPS 2002. Lecture notes in computer science (Vol. 2280, pp. 113-126). Grenoble, France: Springer-Verlag.
3. Agarwal, A. (2006). Logical modeling frameworks for the optimization of discrete-continuous systems. Ph.D. Thesis. Carnegie Mellon University.
4. Alur R., Courcoubetis C., Halbwachs N., Henzinger T.A., Ho P.H., Nicollin X.,., et al. The algorithmic analysis of hybrid systems. Theoretical Computer Science 138 1 (1995) 3-34
5. Alur R., and Dill D.L. A theory of timed automata. Theoretical Computer Science 126 2 (1994) 183-235
6. Asarin E., and Maler O. Optimal control for timed automata. In: Chen H.F., Cheng D.Z., and Zhang J.F. (Eds). Proceedings of the 14th World congress of the international federation of automatic control (Vol. 6, pp. 1-6) (1999), Elsevier Science, Beijing, China
7. Aubin J.P., Lygeros J., Quincampoix M., Sastry S., and Seube N. Impulse differential inclusions: A viability approach to hybrid systems. IEEE Transactions on Automatic Control 47 1 (2002) 2-20
8. Avraam M.P., Shah N., and Pantelides C.C. Modelling and optimisation of general hybrid systems in the continuous time domain. Computers & Chemical Engineering 22 (1998) S221-S228
9. Barton P.I., and Pantelides C.C. Modeling of combined discrete-continuous processes. AIChE Journal 40 6 (1994) 966-979
10. Bemporad A., and Morari M. Control of systems integrating logic, dynamics, and constraints. Automatica 35 3 (1999) 407-427
11. Bixby R. Solving real-world linear programs: a decade and more of progress. Operations Research 50 1 (2002) 3-15
12. Cassez F., and Larsen K. The impressive power of stopwatches. In: Palamidessi C. (Ed). Proceedings of the 11th international conference on concurrency theory, CONCUR 2000, Lecture notes in computer science (Vol. 1877, pp. 138-152) (2000), Springer-Verlag, Berlin, Germany
13. Chutinan A., and Krogh B.H. Computational techniques for hybrid system verification. IEEE Transactions on Automatic Control 48 1 (2003) 64-75
14. Cury J.E.R., Krogh B.H., and Niinomi T. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control 43 4 (1998) 564-568
15. Heemels W.P.M.H., De Schutter B., and Bemporad A. On the equivalence of classes of hybrid dynamical models. Proceedings of the 40th IEEE conference on decision and control (Vol. 1, pp. 364-369) (2001), IEEE, Orlando, FL, USA
16. Henzinger T.A. The theory of hybrid automata. Proceedings of the 11th annual IEEE symposium on logic in computer science (1996), IEEE Comput. Soc. Press 278-292
17. Kallrath J. Mixed integer optimization in the chemical process industry-experience, potential and future perspectives. Chemical Engineering Research & Design 78 A6 (2000) 809-822
18. Lee C.K., Singer A.B., and Barton P.I. Global optimization of linear hybrid systems with explicit transitions. Systems & Control Letters 51 5 (2004) 363-375
19. Lygeros, J., Pappas, G. J., & Sastry, S. (1999). An introduction to hybrid system modeling, analysis, and control. Preprints of the First Nonlinear Control Network Pedagogical School, Athens, Greece, pp. 307-329.
20. Nicollin X., Olivero A., Sifakis J., and Yovine S. An approach to the description and analysis of hybrid systems. In: Grossman R.L., Nerode A., Ravn A.P., and Rischel H. (Eds). Hybrid systems conference (1991), Springer-Verlag, Lyngby, Denmark 149-178
21. Oldenburg, J., & Marquardt, W. (2008). Disjunctive modeling for optimal control of hybrid systems, Computers & Chemical Engineering, 32(10), 2346-2364.
22. Raman R., and Grossmann I.E. Modelling and computational techniques for logic based integer programming. Computers & Chemical Engineering 18 7 (1994) 563-578
23. Stursberg, O., Panek, S., Till, J, & Engell, S. (2002). Generation of optimal control policies for systems with switched hybrid dynamics. In Modelling, analysis, and design of hybrid systems. Lecture notes in control and information sciences (Vol. 279, pp. 337-352). Berlin: Springer-Verlag.
24. Tomlin, C., Lygeros, J., & Sastry, S. (1998). Synthesizing controllers for nonlinear hybrid systems. In Hybrid systems: Computation and control. Lecture notes in computer science (Vol. 1386, pp. 360-373). Springer-Verlag, Berlin.
25. Torrisi, F. D., Bemporad, A., & Mignone, D. (2000). Hysdel-a tool for generating hybrid models, Technical Report AUT00-03, Automatic Control Lab, ETH.
26. Westerweele M.R., Preisig H.A., and Weiss M. Concept and design of modeller, a computer-aided modelling tool. Computers & Chemical Engineering 23 (1999) S751-S754