Specification and Analysis of Discrete Behavior of Hybrid Systems in the Workbench ISMA  

作　　者：Yury V. Shornikov Dmitry N. Dostovalov Maria S. Myssak Artem N. Komarichev Andrey M. Tolokonnikov 

机构地区：[1]Department of Automated Control Systems, Novosibirsk State Technical University, Novosibirsk, Russia

出　　处：《Open Journal of Applied Sciences》2013年第2期51-55,共5页应用科学（英文）

摘　　要：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.

关 键 词：Hybrid System STATECHART EVENT Detection Differential-algebraic EQUATIONS Simulation Tools 

分 类 号：O1[理学—数学]