A Symbolic Simulator for Hybrid Equations (original) (raw)
Related papers
Symbolic simulation of hybrid systems
Ninth Asia-Pacific Software Engineering Conference, 2002., 2002
Rigorous simulation of hybrid dynamic systems with symbolic and interval methods
Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301), 2002
A Toolbox for Simulation of Hybrid Systems in Matlab/Simulink
Proceedings of Hybrid Systems: Computation and Control Conference, 101--106.
On-line Symbolic Constraint Embedding for Simulation of Hybrid Dynamical Systems
2004
Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection
Cyber Physical Systems. Design, Modeling, and Evaluation, 2017
Modeling and Analysis of Hybrid Systems Lecture Notes
Modelling, analysis and control design of hybrid dynamical systems
Journal of Electrical Engineering
Gisela De Sarrazin, Edgar A Chacón Ramírez
Nonlinear Analysis: Theory, Methods & Applications, 1997
Algorithmic analysis of nonlinear hybrid systems
IEEE Transactions on Automatic Control, 1998
Solution concepts for hybrid dynamical systems
2002
An automated algorithm for stability analysis of hybrid dynamical systems
THE EUROPEAN PHYSICAL JOURNAL SPECIAL TOPICS, 2013
A survey of modeling and control of hybrid systems
Annual Reviews in Control, 1997
Integrated Design of Symbolic Controllers for Nonlinear Systems
Alessandro Borri, Giordano Pola
IEEE Transactions on Automatic Control, 2012
An introduction to hybrid system modeling, analysis, and control
1999
Advanced Textbooks in Control and Signal Processing, 2022
Simulating hybrid dynamic systems
IEEE Robotics & Automation Magazine, 2002
Approaches to modelling, analysis and control of hybrid systems
1999
Simulation of Piecewise Hybrid Dynamical Systems in Matlab
Fully symbolic-based technique for solving complex state-space control systems
International Journal of Electrical and Computer Engineering (IJECE)
International Journal of Electrical and Computer Engineering (IJECE), 2021
Alberto Sangiovanni Vincentelli
2001
Hybrid Systems: Review and Recent Progress
Information Technology for Dynamical Systems, 2003
Application of Constraint Solving and ODE-Enclosure Methods to the Analysis of Hybrid Systems
AIP Conference Proceedings, 2009
A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems
SIMULATION, 2002