Abstract
The majority of hybrid languages are based on the assumption that discontinuities in differential variables at discrete events are modeled by explicit mappings. When there are algebraic equations restricting the allowed new values of the differential variables, explicit remapping of differential variables forces the modeler to solve the algebraic equations. To overcome this difficulty, hybrid languages use many different language elements. This article shows that only one language element is needed for this purpose: an unknown declaration, which allows the explicit declaration of a variable as unknown. The syntax and semantics of unknown declarations are discussed. Examples are given, using the Chi language, in which unknown declarations are used for modeling multi-body collision, steady-state initialization, and consistent initialization of higher index systems. It is also illustrated how the declaration of unknowns can help to clarify the structure of the system of equations, and how it can help the modeler detect structurally singular systems of equations.
- Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P. H., Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S. 1995. The algorithmic analysis of hybrid systems. In Theor. Comput. Sci. 138, 3--34.]] Google Scholar
- Barton, P. I. 1992. The modelling and simulation of combined discrete/continuous processes. PhD thesis, University of London.]]Google Scholar
- Barton, P. I. and Pantelides, C. C. 1994. Modeling of combined discrete/continuous processes. AIChE 40, 6, 966--979.]]Google Scholar
- Bos, V. and Kleijn, J. 2000a. Automatic verification of a manufacturing system. Robot. Comput. Integr. Manufact. 17, 3, 185--198.]]Google Scholar
- Bos, V. and Kleijn, J. 2002. Formal specification and analysis of industrial systems. PhD thesis, Eindhoven University of Technology.]]Google Scholar
- Bos, V. and Kleijn, J. J. T. 2000b. Formalisation of a production systems modelling language: The operational semantics of χ core. Funda. Inf. 41, 4, 367--392.]] Google Scholar
- Brenan, K. E., Campbell, S. L., and Petzold, L. R. 1996. Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations. SIAM's Classics in Applied Math., Siam, Philadelphia.]]Google Scholar
- Brown, P. N., Hindmarsh, A. C., and Petzold, L. R. 1998. Consistent initial condition calculation for differential-algebraic systems. SIAM J. Sci. Comput. 19, 5, 1495--1512.]] Google Scholar
- Clabaugh, J. 2001. The ABACUSS II syntax manual. Massachussets Institute of Technology. Available at http://yoric.mit.edu/abacuss2/syntax.html.]]Google Scholar
- David, R. and Alla, H. 2001. On hybrid Petri nets. Discrete Event Dynam. Syst. Theor. Appl. 11, 1--2, 9--40.]] Google Scholar
- Elmqvist, H., Brück, D., and Otter, M. 2000. Dymola---Dynamic Modeling Language---User's Manual, Version 4.0. Dynasim AB, Lund, Sweden.]]Google Scholar
- Fábián, G. 1999. A language and simulator for hybrid systems. PhD thesis, Eindhoven University of Technology.]]Google Scholar
- Fábián, G., van Beek, D. A., and Rooda, J. E. 2001. Index reduction and discontinuity handling using substitute equations. Math. Comput. Model. Dynam. Syst. 7, 2, 173--187.]]Google Scholar
- Feehery, W. F. and Barton, P. I. 1996. A differentiation-based approach to dynamic simulation and optimization with high-index differential-algebraic equations. In Proceedigs of the Second International Workshop on Computational Differentiation (Santa Fe, NM), 239--252.]]Google Scholar
- Fey, J. J. H. 2000. Design of a fruit juice blending and packaging plant. PhD thesis, Eindhoven University of Technology.]]Google Scholar
- Gear, C. W. 1988. Differential-algebraic equation index transformations. SIAM. J. Sci. Stat. Comp. 9, 39--47.]] Google Scholar
- Gueguen, H. and Lefebvre, M. A. 2001. A comparison of mixed specification formalisms. APII JESA J. Europeen des Systemes Automatises 35, 4, 381--394.]]Google Scholar
- Hoare, C. A. R. 1978. Communicating sequential processes. Commun. ACM 21, 8, 666--677.]] Google Scholar
- Hofkamp, A. T. 2001. Reactive machine control. PhD thesis, Eindhoven University of Technology.]]Google Scholar
- IEEE. 1999. IEEE Standard VHDL Analog and Mixed-Signal Extensions (IEEE Std 1076.1-1999). IEEE, New York.]]Google Scholar
- Mattsson, S. E. and Söderlind, G. 1993. Index reduction in differential-algebraic equations using dummy derivatives. SIAM J. Sci. Comput. 14, 3, 677--692.]] Google Scholar
- Mattsson, S. E., Elmqvist, H., and Otter, M. 1998. Physical system modeling with Modelica. Contr. Eng. Prac. 6, 501--510.]]Google Scholar
- Moe, H. I. 1995. Dynamic process simulation, studies on modeling and index reduction. PhD thesis, University of Trondheim.]]Google Scholar
- Mosterman, P. J. 1999. An overview of hybrid simulation phenomena and their support by simulation packages. In Hybrid Systems: Computational Control. Lecture Notes in Computer Science, vol. 1569, Springer, New York, 165--177.]] Google Scholar
- Mosterman, P. J. and Biswas, G. 1997. Principles for modeling, verification, and simulation of hybrid dynamic systems. In Hybrid Systems: V. Lecture Notes in Computer Science, vol. 1567. Springer, New York, 21--27.]]Google Scholar
- Mosterman, P. J. and Biswas, G. 2002. A hybrid modeling and simulation methodology for dynamic physical systems. Simulation 78, 1, 5--17.]]Google Scholar
- Naumoski, G. and Alberts, W. 1998. A discrete-event simulator for systems engineering. PhD thesis, Eindhoven University of Technology.]]Google Scholar
- Pantelides, C. C. 1988. The consistent initialization of differential-algebraic systems. SIAM J. Sci. Stat. Comput. 9, 2, 213--231.]] Google Scholar
- Rulkens, H. J. A., van Campen, E. J. J., van Herk, J., and Rooda, J. E. 1998. Batch size optimization of a furnace and pre-clean area by using dynamic simulations. In Proceedings of the SEMI/IEEE Advances in Semiconductor Manufacturing Conference (Boston), 439--444.]]Google Scholar
- Unger, J., Kröner, A., and Marquardt, W. 1995. Structural analysis of differential-algebraic equation systems---theory and applications. Comput. Chem. Eng. 19, 8, 867--882.]]Google Scholar
- van Beek, D. A. and Rooda, J. E. 2000. Languages and applications in hybrid modelling and simulation: Positioning of Chi. Contr. Eng. Pract. 8, 1, 81--91.]]Google Scholar
- van Beek, D. A., van den Ham, A., and Rooda, J. E. 2002. Modelling and control of process industry batch production systems. In Proceedings of the Fifteenth IFAC Triennial World Congress, (Barcelona), CD-ROM.]]Google Scholar
- van de Mortel-Fronczak, J. M., Rooda, J. E., and van den Nieuwelaar, N. J. M. 1995. Specification of a flexible manufacturing system using concurrent programming. Concur. Eng. Res. Appl. 3, 3, 187--194.]]Google Scholar
Index Terms
- Declaration of unknowns in DAE-based hybrid system specification
Recommendations
Numerical solution of hybrid fuzzy differential equation IVPs by a characterization theorem
In this paper, we study hybrid fuzzy differential equation initial value problems (IVPs). We consider the problem of finding their numerical solutions by using a recent characterization theorem of Bede for fuzzy differential equations. We prove a ...
Two-dimensional differential transform for partial differential equations
The differential transform is a numerical method for solving differential equations. In this paper, we present the definition and operation of the two-dimensional differential transform. A distinctive feature of the differential transform is its ability ...
Strong stability of singly-diagonally-implicit Runge--Kutta methods
This paper deals with the numerical solution of initial value problems, for systems of ordinary differential equations, by Runge-Kutta methods (RKMs) with special nonlinear stability properties indicated by the terms total-variation-diminishing (TVD), ...
Comments