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.
Highlights
There are many systems, the behavior of which can be conveniently described as a sequential change of continuous modes
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
Summary
There are many systems (mechanical, electrical, chemical, biological, etc.), the behavior of which can be conveniently described as a sequential change of continuous modes. These systems are referred to as hybrid (HS) or event-continuous. Many practical problems are characterized by stiff modes, and the surface of boundary g(x, y,t) 0 has sharp angles or solution has several roots at the boundary [1]. Numerical analysis of such models by traditional methods is difficult or impossible, as it gives incorrect results. This paper describes the features of design and HS models analysis in the ISMA instrumental environment [2]
Sign-in/Register to view highlights & summary 
Published Version (
Free)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call