![](bg8.png)
ACKNOWLEDGMENTS
This research has in part been funded by CTI grant
No. 12101.1;3 PFES-ES and supported by the
OPENPROD-ITEA2 project. The support is grate-
fully acknowledged.
REFERENCES
Bergero, F., Floros, X., Fernandez, J., Kofman, E., and
Cellier, F. (2012). Simulating Modelica Models with
a Stand-alone Quantized State Systems Solver. In
Proceedings 9th International Modelica Conference,
pages 237–246, Munich, Germany.
Bergero, F., Kofman, E., and Cellier, F. (2013). A Novel
Parallelization Technique for DEVS Simulation of
Continuous and Hybrid Systems. Simulation.
Braun, W., Gallardo-Yances, S., Link, K., and Bachmann,
B. (2012). Fast Simulation of Fluid Models with
Colored Jacobians. In Proceedings 9th International
Modelica Conference, pages 247–252, Munich, Ger-
many.
Cellier, F. (1979). Combined Continuous/Discrete System
Simulation by Use of Digital Computers: Techniques
and Tools. PhD thesis, Swiss Federal Institute of Tech-
nology.
Cellier, F. (1991). Continuous System Modeling. Springer–
Verlag, New York, NY, USA.
Cellier, F. and Elmqvist, H. (1993). Automated Formula
Manipulation Supports Object–oriented Continuous
System Modeling. IEEE Control Systems, 13(2):28–
38.
Cellier, F. and Kofman, E. (2006). Continuous System Sim-
ulation. Springer–Verlag, New York, NY, USA.
Cellier, F., Schooley, L., Zeigler, B., Doser, A., Far-
renkopf, G., Kim, J., Pan, Y., and Williams, B. (1992).
Watchdog Monitor Prevents Martian Oxygen Produc-
tion Plant from Shutting Itself Down During Storm.
In Proceedings International Symposium on Robotics
and Manufacturing, pages 697–704, Santa Fe, NM,
USA.
de Albornoz, A. (1996). Inductive Reasoning and Re-
construction Analysis: Two Complementary Tools for
Qualitative Fault Monitoring of Large–scale Systems.
PhD thesis, Polytechnical University of Barcelona.
Elmqvist, H. (1978). A Structured Model Language for
Large Continuous Systems. PhD thesis, Lund Institute
of Technology.
Elmqvist, H., Cellier, F., and Otter, M. (1993). Object–
oriented Modeling of Hybrid Systems. In Proceed-
ings ESS’93, European Simulation Symposium, pages
xxxi–xli, Delft, The Netherlands.
Elmqvist, H. and Otter, M. (1994). Methods for Tear-
ing Systems of Equations in Object–oriented Model-
ing. In Proceedings European Simulation Multicon-
ference, pages 326–332, Barcelona, Spain.
Escobet, A., Nebot, A., and Cellier, F. (1999). Model Ac-
ceptability Measure for the Identification of Failures
in Qualitative Fault Monitoring Systems. In Proceed-
ings European Simulation Multi-Conference, pages
339–347, Warsaw, Poland.
Grinblat, G., Ahumada, H., and Kofman, E. (2012). Quan-
tized State Simulation of Spiking Neural Networks.
Simulation, 88(3):299–313.
Hairer, E. and Wanner, G. (1999). Stiff differential equa-
tions solved by Radau methods. Journal of Computa-
tional and Applied Mathematics, 111(1-2):93–111.
Kofman, E. (2003). Quantization-based Simulation of Dif-
ferential Algebraic Equation Systems. Simulation,
79(7):363–376.
Link, K., Steuer, H., and Butterlin, A. (2009). Deficien-
cies of Modelica and its Simulation Environments for
Large Fluid Systems. In Proceedings 7th Interna-
tional Modelica Conference, pages 341–344, Como,
Italy.
Mattsson, S., Elmqvist, H., and Broenink, J. (1997). Mod-
elica – An International Effort to Design the Next
Generation Modeling Language. Journal A, Benelux
Quarterly Journal on Automatic Control, 38(3):16–
19.
Mattsson, S., Olsson, H., and Elmqvist, H. (2000). Dy-
namic Selection of States in Dymola. In Proceedings
Modelica Workshop, pages 61–67, Lund, Sweden.
Migoni, G., Bortolotto, M., Kofman, E., and Cellier, F.
(2013). Linearly Implicit Quantization-based Inte-
gration Methods for Stiff Ordinary Differential Equa-
tions. Simulation Modelling Practice and Theory.
Migoni, G., Kofman, E., and Cellier, F. (2012).
Quantization-based New Integration Methods for Stiff
ODEs. Simulation, 88(4):387–407.
Mitchell, E. and Gauthier, J. (1986). ACSL: Advanced Con-
tinuous Simulation Language – User Guide and Refer-
ence Manual. Mitchell & Gauthier Assoc., Concord,
MA, USA.
Modelica Association, . (2007). The Modelica Language
Specification Version 3.0. Technical report.
Modelica Association, . (2008). The Modelica Standard Li-
brary. Technical report.
Olsson, H., Otter, M., Mattsson, S., and Elmqvist, H.
(2008). Balanced Models in Modelica 3.0 for In-
creased Model Quality. In Proceedings 6th Interna-
tional Modelica Conference, pages 21–33, Bielefeld,
Germany.
Otter, M., Elmqvist, H., and Mattsson, S. (1999). Hybrid
Modeling in Modelica Based On Synchronous Data
Flow Principle. In Proceedings IEEE, International
Symposium on Computer Aided Control System De-
sign, pages 151–157, Kohala Coast, Hawaii.
Pantelides, C. (1988). The Consistent Initialization of
Differential–Algebraic Systems. SIAM Journal of Sci-
entific and Statistical Computing, 9(2):213–231.
Petzold, L. (1983). A Description of DASSL: A Dif-
ferential/Algebraic Equation Solver. In Stepleman,
R., editor, Scientific Computing, pages 65–68. North–
Holland, Amsterdam, The Netherlands.
Pop, A., Sj¨olund, M., Asghar, A., Fritzson, P., and Casella,
F. (2012). Static and Dynamic Debugging of Modelica
Models. In Proceedings 9th International Modelica
Conference, pages 443–454, Munich, Germany.
SIMULTECH2013-3rdInternationalConferenceonSimulationandModelingMethodologies,Technologiesand
Applications
IS-12