Specification and Analysis of Discrete Behavior of Hybrid Systems in the Workbench ISMA
Author(s)
Yury V. Shornikov,
Dmitry N. Dostovalov,
Maria S. Myssak,
Artem N. Komarichev,
Andrey M. Tolokonnikov
Affiliation(s)
Department of Automated Control Systems, Novosibirsk State Technical University, Novosibirsk, Russia.
Department of Automated Control Systems, Novosibirsk State Technical University, Novosibirsk, Russia.
ABSTRACT
Hybrid systems are important in applications in CAD, real-time software, robotics and automation, mechatronics, aeronautics, air and ground transportation systems, process control, and have recently been at the center of intense research activity in the control theory, computer-aided verification, and artificial intelligence communities. In the past several years, methodologies have been developed to model hybrid systems, to analyze their behavior, and to synthesize controllers that guarantee closed-loop safety and performance specifications. These advances have been complemented by computational tools for the automatic verification and simulation of hybrid systems. Modern technologies of computer simulation tools include preparing, debugging, analysis and calculation of effective program models, meaningful interpretation of research results.
Hybrid systems are important in applications in CAD, real-time software, robotics and automation, mechatronics, aeronautics, air and ground transportation systems, process control, and have recently been at the center of intense research activity in the control theory, computer-aided verification, and artificial intelligence communities. In the past several years, methodologies have been developed to model hybrid systems, to analyze their behavior, and to synthesize controllers that guarantee closed-loop safety and performance specifications. These advances have been complemented by computational tools for the automatic verification and simulation of hybrid systems. Modern technologies of computer simulation tools include preparing, debugging, analysis and calculation of effective program models, meaningful interpretation of research results.
KEYWORDS
Hybrid System; Statechart; Event Detection; Differential-algebraic Equations; Simulation Tools
Hybrid System; Statechart; Event Detection; Differential-algebraic Equations; Simulation Tools
Cite this paper
Y. Shornikov, D. Dostovalov, M. Myssak, A. Komarichev and A. Tolokonnikov, "Specification and Analysis of Discrete Behavior of Hybrid Systems in the Workbench ISMA," Open Journal of Applied Sciences, Vol. 3 No. 2, 2013, pp. 51-55. doi: 10.4236/ojapps.2013.32B010.
Y. Shornikov, D. Dostovalov, M. Myssak, A. Komarichev and A. Tolokonnikov, "Specification and Analysis of Discrete Behavior of Hybrid Systems in the Workbench ISMA," Open Journal of Applied Sciences, Vol. 3 No. 2, 2013, pp. 51-55. doi: 10.4236/ojapps.2013.32B010.
References
[1] J. Esposito, V. Kumar and G.J. Pappas, “Accurate Event Detection for Simulating Hybrid Systems,” In: Hybrid Systems: Computation and Control (HSCC) , Vol. LNCS 2034, 1998. [2] Y. V. Shornikov, V. S. Druzhinin, N. А. Makarov, K. V. Omelchenko and I. N. Tomilov, “Instrumental Tools of Computerized Analysis (ISMA),” Official registration license for computers No. 2005610126, Мoscow, Rospatent, 2005. [3] D. Harel, “Statecharts: A Visual Formalism for Complex Systems,” Science of Computer Programming Programming, Vol. 8, 1987, pp. 231-274. [4] E. A. Novikov, “Explicit Methods for Stiff Systems,” Novosibirsk: Nauka. Sib. Enterpr. The Russian Academy of Sciences, 1997. [5] A. E. Novikov, E. A. Novikov, Y. V. Shornikov and D. N. Dostovalov, “Numerical Simulation of Hybrid Systems with an Explicit Method of Order in the ISMA Instrumental Environment,” Problems of Informatics, Vol.3, 2010, pp. 73-80. [6] K. J. Astrom and Canudas-de-Wit C. “Revisiting the LuGre Model. Stick-slip Motion and Rate Dependence,” IEEE Control Systems Magazine, June 2008, No. 28, pp. 101-114.
[1] J. Esposito, V. Kumar and G.J. Pappas, “Accurate Event Detection for Simulating Hybrid Systems,” In: Hybrid Systems: Computation and Control (HSCC) , Vol. LNCS 2034, 1998. [2] Y. V. Shornikov, V. S. Druzhinin, N. А. Makarov, K. V. Omelchenko and I. N. Tomilov, “Instrumental Tools of Computerized Analysis (ISMA),” Official registration license for computers No. 2005610126, Мoscow, Rospatent, 2005. [3] D. Harel, “Statecharts: A Visual Formalism for Complex Systems,” Science of Computer Programming Programming, Vol. 8, 1987, pp. 231-274. [4] E. A. Novikov, “Explicit Methods for Stiff Systems,” Novosibirsk: Nauka. Sib. Enterpr. The Russian Academy of Sciences, 1997. [5] A. E. Novikov, E. A. Novikov, Y. V. Shornikov and D. N. Dostovalov, “Numerical Simulation of Hybrid Systems with an Explicit Method of Order in the ISMA Instrumental Environment,” Problems of Informatics, Vol.3, 2010, pp. 73-80. [6] K. J. Astrom and Canudas-de-Wit C. “Revisiting the LuGre Model. Stick-slip Motion and Rate Dependence,” IEEE Control Systems Magazine, June 2008, No. 28, pp. 101-114.