Modeling, simulation, sensitivity analysis, and optimization of hybrid systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Modeling, simulation, sensitivity analysis, and optimization of hybrid systems

Full text

Pdf (383 KB)

Source

ACM Transactions on Modeling and Computer Simulation (TOMACS) archive
Volume 12 , Issue 4 (October 2002) table of contents

Pages: 256 - 289

Year of Publication: 2002

ISSN:1049-3301

Authors

Paul I. Barton	Massachusetts Institute of Technology, Cambridge, MA
Cha Kun Lee	Massachusetts Institute of Technology, Cambridge, MA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 24, Downloads (12 Months): 247, Citation Count: 3

Additional Information:

abstract references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/643120.643122 What is a DOI?

ABSTRACT

Hybrid (discrete/continuous) systems exhibit both discrete state and continuous state dynamics which interact to such a significant extent that they cannot be decoupled and must be analyzed simultaneously. We present an overview of the work that has been done in the modeling, simulation, sensitivity analysis, and optimization of hybrid systems, paying particular attention to the interaction between discrete and continuous dynamics. A concise intuitive framework for hybrid system modeling is presented, together with discussions on robust state event location, transfer functions of the continuous state at discontinuities, parametric sensitivity analysis of hybrid systems, and challenges in optimization.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Adjiman, C. S., Androulakis, I. P., and Floudas, C. A. 2000. Global optimization of mixed-integer nonlinear problems. AICHE J. 46, 9, 1769--1797.
	2	Rajeev Alur , Costas Courcoubetis , Thomas A. Henzinger , Pei-Hsin Ho, Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems, Hybrid Systems, p.209-229, January 1993
	3	Alur, R., Henzinger, T. A., and Sontag, E. D., Eds. 1996. Hybrid Systems III. Lecture Notes in Computer Science, vol. 1066, Springer-Verlag, Berlin.
	4	Andersson, M. 1994. Object-oriented modeling and simulation of hybrid systems. Ph.D. thesis, Lund Institute of Technology, Sweden.
	5	Hybrid Systems II, January 1995
	6	Hybrid Systems V, January 1999
	7	Hybrid Systems IV, January 1997
	8	Uri M. Ascher , Linda R. Petzold, Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations, Society for Industrial and Applied Mathematics, Philadelphia, PA, 1998
	9	Avraam, M. P., Shah, N., and Pantelides, C. C. 1998. Modelling and optimisation of general hybrid systems in the continuous time domain. Comput. Chem. Eng. 22, Suppl., S221--S228.
	10	Allen Back , John Guckenheimer , Mark Myers, A Dynamical Simulation Facility for Hybrid Systems, Hybrid Systems, p.255-267, January 1993
	11	Barton, P. I. 1992. The modelling and simulation of combined discrete/continuous processes. Ph.D. thesis, University of London.
	12	Barton, P. I. and Galán, S. 2000. Linear DAEs with nonsmooth forcing. Tech. Rep., Dept. Chem. Eng., MIT Available at http://yoric.mit.edu/reports.html. 26 Jan.
	13	Barton, P. I. and Pantelides, C. C. 1994. Modeling of combined discrete/continuous processes. AICHE J. 40, 966--979.
	14	Barton, P. I., Banga, J. R., and Galán, S. 2000. Optimization of hybrid discrete/continuous dynamic systems. Comput. Chem. Eng. 24, 9-10, 2171--2182.
	15	Bellman, R. E. and Kalaba, R. E. 1965. Dynamic Programming and Modern Control Theory. Academic, New York.
	16	Bemporad, A. and Morari, M. 1999. Control of systems integrating logic, dynamics and constraints. Automatica 35, 3, 407--427.
	17	Michael S. Branicky , Sven Erik Mattsson, Simulation of Hybrid Systems, Hybrid Systems IV, p.31-56, January 1997
	18	Branicky, M. S. and Mitter, S. K. 1995. Algorithms for optimal hybrid control. In Proceedings of the 34th IEEE Conference on Decision and Control, vol. 3, 2661--2666.
	19	Branicky, M. S., Borkar, V. S., and Mitter, S. K. 1998. A unified framework for hybrid control: Model and optimal control theory. IEEE T. Automat. Contr. 43, 1, 31--45.
	20	Brankin, R. W., Gladwell, I., and Shampine, L. F. 1992. RKSUITE: A suite of Runge-Kutta codes for the initial value problem for ODEs. Softreport 92-S1, Department of Mathematics, Southern Methodist University, Dallas.
	21	Brenan, K. E., Campbell, S. L., and Petzold, L. R. 1989. Numerical Solution of Initial Value Problems in Differential-Algebraic Equations. North-Holland, New York.
	22	Peter N. Brown , G. D. Byrne , A. C. Hindmarsh, VODE: a variable-coefficient ODE solver, SIAM Journal on Scientific and Statistical Computing, v.10 n.5, p.1038-1051, Sept. 1989 [doi>10.1137/0910062]
	23	L. Brüll , U. Pallaske, On differential algebraic equations with discontinuities, Zeitschrift für Angewandte Mathematik und Physik (ZAMP), v.43 n.2, p.319-327, March 1992 [doi>10.1007/BF00946633]
	24	Bryson, A. E. and Ho, Y. 1975. Applied Optimal Control. Hemisphere, New York.
	25	Campbell, S. L. and Gear, C. W. 1995. The index of general nonlinear DAEs. Numer. Math. 72, 2, 173--196.
	26	Caracotsios, M. and Stewart, W. E. 1985. Sensitivity analysis of initial value problems with mixed ODEs and algebraic constraints. Comput. Chem. Eng. 9, 359--365.
	27	Cellier, F. E. 1979. Combined continuous/discrete system simulation by use of digital computers: Techniques and tools. Ph.D. thesis, Swiss Federal Institute of Technology, Zurich.
	28	François E. Cellier, Combined continuous/discrete simulation: applications, techniques and tools, Proceedings of the 18th conference on Winter simulation, p.24-33, December 08-10, 1986, Washington, D.C., United States [doi>10.1145/318242.318256]
	29	Clabaugh, J. A., Tolsma, J. E., and Barton, P. I. 1999. ABACUSS II: Advanced modeling environment and embedded simulator. Available at http://yoric.mit.edu/abacuss2/abacuss2.html.
	30	Clarke, F. H. 1983. Optimization and Nonsmooth Analysis. Canadian Mathematical Society series of monographs and advanced texts. Wiley, New York.
	31	René David , Hassane Alla, On Hybrid Petri Nets, Discrete Event Dynamic Systems, v.11 n.1-2, p.9-40, January 2001 [doi>10.1023/A:1008330914786]
	32	J. E. Dennis, Jr. , Robert B. Schnabel, Numerical Methods for Unconstrained Optimization and Nonlinear Equations (Classics in Applied Mathematics, 16), Soc for Industrial & Applied Math, 1996
	33	Doetsch, G. 1955. Handbuch der Laplace-Transformation. Bd II. Anwendungen der Laplace-Transformation. 1. Abteilung. Birkhäuser Verlag, Basel and Stuttgart.
	34	Duff, I. S. and Reid, J. K. 1993. MA48, a FORTRAN code for direct solution of sparse unsymmetric linear systems of equations. Tech. Rep., RAL-93-072; Rutherford Appleton Laboratory, Oxon, UK.
	35	Iain S Duff , Albert M Erisman , John K Reid, Direct methods for sparse matrices, Oxford University Press, Inc., New York, NY, 1986
	36	Elmqvist, H., Cellier, F. E., and Otter, M. 1993. Object-oriented modeling of hybrid systems. In Proceedings of ESS'93, European Simulation Symposium, xxxi--xli.
	37	Fahrland, D. A. 1970. Combined discrete event continuous systems simulation. Simulation 14, 61--72.
	38	Feehery, W. F. 1998. Dynamic optimization with path constraints. Ph.D. thesis, Massachusetts Institute of Technology, Cambridge.
	39	Feehery, W. F. and Barton, P. I. 1999. Dynamic optimization with equality path constraints. Ind. Eng. Chem. Res. 38, 6, 2350--2363.
	40	William F. Feehery , John E. Tolsma , Paul I. Barton, Efficient sensitivity analysis of large-scale differential-algebraic systems, Applied Numerical Mathematics, v.25 n.1, p.41-54, Oct. 1997 [doi>10.1016/S0168-9274(97)00050-0]
	41	Floudas, C. A. 1995. Nonlinear and Mixed-Integer Optimization: Fundamentals and Applications. Oxford University, Oxford.
	42	Frank, P. M. 1978. Introduction to System Sensitivity Theory. Academic, New York.
	43	Galán, S. and Barton, P. I. 1998. Dynamic optimization of hybrid systems. Comput. Chem. Eng. 22, Suppl., S183--S190.
	44	Santos Galán , William F. Feehery , Paul I. Barton, Parametric sensitivity functions for hybrid discrete/continuous systems, Applied Numerical Mathematics, v.31 n.1, p.17-47, Sept. 1999 [doi>10.1016/S0168-9274(98)00125-1]
	45	C. William Gear, Numerical Initial Value Problems in Ordinary Differential Equations, Prentice Hall PTR, Upper Saddle River, NJ, 1971
	46	Ghiron, E. F. 1937. Sopra alcuni procedimenti di calcolo operazionale. Rend. Circ. Mat. Palermo 61, 1--42.
	47	Ghizzetti, A. 1937. Sull'uso della transformazione di laplace nello studio dei circuiti elettrici. Rend. Circ. Mat. Palermo 61, 339--368.
	48	Gill, P. E., Murray, W., and Wright, M. H. 1981. Practical Optimization. Academi, New York.
	49	Vipin Gopal , Lorenz T. Biegler, A Successive Linear Programming Approach for Initialization and Reinitialization after Discontinuities of Differential-Algebraic Equations, SIAM Journal on Scientific Computing, v.20 n.2, p.447-467, March 1998 [doi>10.1137/S1064827596307725]
	50	Hybrid Systems, January 1993
	51	Hay, J. L. and Griffin, A. W. J. 1980. Simulation of discontinuous dynamical systems. In Simulation of Systems '79, L. Dekker, G. Savastano, and G. C. Vansteenkiste, Eds. North-Holland, Amsterdam.
	52	Hedlund, S. and Rantzer, A. 1999. Optimal control of hybrid systems. In Proceedings of the 38th IEEE Conference on Decision and Control, vol. 4. 3972--3977.
	53	Hindmarsh, A. C. 1983. ODEPACK, a systematized collection of ODE solvers. In Scientific Computing, R. S. Stepleman, Ed., North-Holland, Amsterdam, 55--64.
	54	Hiskens, I. A. and Pai, M. A. 2000. Trajectory sensitivity analysis of hybrid systems. IEEE T. Circ.-I 47, 2, 204--220.
	55	Ho, Y. C. and Cao, X. R. 1991. Perturbation Analysis of Discrete Event Dynamic Systems. Kluwer Academic, Boston.
	56	Johansson, K. H., Egerstedt, M., Lygeros, J., and Sastry, S. 1999. On the regularization of Zeno hybrid automata. Syst. Cont. Lett. 38, 141--150.
	57	Kesavan, P. and Barton, P. I. 2000. Generalized branch-and-cut framework for mixed-integer nonlinear optimization problems. Comput. Chem. Eng. 24, 2--7, 1361--1366.
	58	Lee, C. K., Singer, A. B., and Barton, P. I. 2002. Global optimization of linear hybrid systems with explicit transitions. Submitted to Syst. Cont. Lett. Available at http://yoric.mit.edu/publications. html.
	59	Logsdon, J. and Biegler, L. T. 1989. Accurate solution of differential-algebraic optimization problems. Ind. Eng. Chem. Res. 28, 1628--1639.
	60	Lu, J., Liao, L., Nerode, A., and Taylor, J. H. 1993. Optimal control of systems with continuous and discrete states. In Proceedings of the 32nd IEEE Conference on Decision and Control, vol. 3, 2292--2297.
	61	Majer, C., Marquardt, W., and Gilles, E. D. 1995. Reinitialization of DAEs after discontinuities. Comput. Chem. Eng. 19, Suppl., S507--S512.
	62	Jörgen Malmborg , Bo Bernhardsson, Control and simulation of hybrid systems, Nonlinear Analysis: Theory, Methods & Applications, v.30 n.1, p.337-347, Dec. 30, 1997 [doi>10.1016/S0362-546X(97)00048-5]
	63	Timothy Maly , Linda R. Petzold, Numerical methods and software for sensitivity analysis of differential-algebraic systems, Applied Numerical Mathematics, v.20 n.1-2, p.57-79, Feb. 1996 [doi>10.1016/0168-9274(95)00117-4]
	64	Mattsson, S. E. 1989. On modelling and differential/algebraic systems. Simulation 52, 24--32.
	65	Sven Erik Mattsson , Gustaf Söderlind, Index reduction in differential-algebraic equations using dummy derivatives, SIAM Journal on Scientific Computing, v.14 n.3, p.677-692, May 1993 [doi>10.1137/0914043]
	66	Mosterman, P. J. 1997. Hybrid dynamic systems: A hybrid bond graph modeling paradigm and its application in diagnosis. Ph.D. thesis, Vanderbilt University, Tennessee.
	67	Pieter J. Mosterman, An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages, Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control, p.165-177, March 29-31, 1999
	68	Oren, T. I. 1977. Software for the simulation of combined continuous and discrete systems: A state-of-the-art review. Simulation 28, 33--45.
	69	Otter, M., Elmqvist, H., and Mattsson, S. E. 1999. Hybrid modeling in Modelica based on synchronous data flow principle. In Proceedings of the 1999 IEEE Symposium on Computer-Aided Control System Design, CACSD'99, IEEE Control Systems Society, 151--157.
	70	Constantinos C. Pantelides, The consistent intialization of differential-algebraic systems, SIAM Journal on Scientific and Statistical Computing, v.9 n.2, p.213-231, March 1988 [doi>10.1137/0909014]
	71	Taeshin Park , Paul I. Barton, State event location in differential-algebraic models, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.6 n.2, p.137-165, April 1996 [doi>10.1145/232807.232809]
	72	Petzold, L. R. 1983. A description of DASSL: A differential/algebraic system solver. In Scientific Computing, R. S. Stepleman, Ed., North-Holland, Amsterdam, 65--68.
	73	Reiβig, G. 1996. Differential-algebraic equations and impasse points. IEEE T. Circ. I 43, 122--133.
	74	Reiβig, G., Boche, H., and Barton, P. I. 2002. On inconsistent initial conditions for linear time-invariant differential-algebraic equations. IEEE T. Circ. I 49, 1646--1648.
	75	Gunther Reissig , Wade S. Martinson , Paul I. Barton, Differential--Algebraic Equations of Index 1 May Have an Arbitrarily High Structural Index, SIAM Journal on Scientific Computing, v.21 n.6, p.1987-1990, Dec 1999 [doi>10.1137/S1064827599353853]
	76	Rozenvasser, E. N. 1967. General sensitivity equations of discontinuous systems. Automat. Rem. Contr., 400--404.
	77	Ruban, A. I. 1997. Sensitivity coefficients for discontinuous dynamic systems. J. Comput. Syst. Sci. Int. 36, 4, 536--542.
	78	Ryoo, H. S. and Sahinidis, N. V. 1996. A branch-and-reduce approach to global optimization. J. Global Optim. 8, 2, 107--139.
	79	Singer, A. B. and Barton, P. I. 2001. Global solution of linear dynamic embedded optimization problems---Part I: Theory. Submitted to J. Optimiz. Theory App. Available at http://yoric.mit.edu/ publications.html.
	80	Strauss, J. C., Augustin, D. C., Fineberg, M. S., Johnson, B. B., Linebarger, R. N., and Sanson, F. J. 1967. The SCi continuous system simulation language (CSSL). Simulation 9, 281--303.
	81	Teo, K., Goh, G., and Wong, K. 1991. A Unified Computational Approach to Optimal Control Problems. Pitman Monographs and Surveys in Pure and Applied Mathematics, Wiley, New York.
	82	Tolsma, J. E. and Barton, P. I. 1999. DAEPACK: A symbolic and numeric library for open modeling. Available at http://yoric.mit.edu/daepack/daepack.html.
	83	Tolsma, J. E. and Barton, P. I. 2000. DAEPACK: An open modeling environment for legacy models. Ind. Eng. Chem. Res. 39, 6, 1826--1839.
	84	John E. Tolsma , Paul I. Barton, Hidden Discontinuities and Parametric Sensitivity Calculations, SIAM Journal on Scientific Computing, v.23 n.6, p.1861-1874, 2002 [doi>10.1137/S106482750037281X]
	85	Utkin, V. I. 1992. Sliding Modes in Control and Optimization. Springer-Verlag, Berlin.

CITED BY 3

	J. A. Ferreira, Hybrid statecharts to model continuous and discrete behavior in engineering systems, Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science, p.1-6, April 25-27, 2005, Rio de Janeiro, Brazil
	Jason Matthews , Baljinder Singh , Glen Mullineux , Tony Medland, Constraint-based approach to investigate the process flexibility of food processing equipment, Computers and Industrial Engineering, v.51 n.4, p.809-820, December, 2006
	Peter Schwarz, Simulation of systems with dynamically varying model structure, Mathematics and Computers in Simulation, v.79 n.4, p.850-863, December, 2008