Theoretical Computer Science
What's decidable about hybrid automata?
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Quantized-state systems: a DEVS Approach for continuous system simulation
Transactions of the Society for Computer Simulation International - Recent advances in DEVS Methodology--part I
Interval arithmetic and interval analysis: an introduction
Granular computing
Discrete Event Simulation of Hybrid Systems
SIAM Journal on Scientific Computing
Approximating Continuous Systems by Timed Automata
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Introduction to Interval Analysis
Introduction to Interval Analysis
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Verification of real-time DEVS models
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Systematic simulation using sensitivity analysis
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Formal approaches to analog circuit verification
Proceedings of the Conference on Design, Automation and Test in Europe
Rational time-advance DEVS (RTA-DEVS)
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
DS-RT '10 Proceedings of the 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications
Systems and Software Verification: Model-Checking Techniques and Tools
Systems and Software Verification: Model-Checking Techniques and Tools
On the verification of hybrid DEVS models
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems
RTSS '12 Proceedings of the 2012 IEEE 33rd Real-Time Systems Symposium
Hi-index | 0.00 |
Hybrid systems (where continuous and discrete phenomena interact) are found in many natural and artificial systems. An important example, real-time embedded systems usually include discrete-event controllers interacting with a continuous plant. Verifying these real-time systems for correct behavior is of utmost importance, as results of incorrect behavior are usually catastrophic. To complement the use of Modeling and Simulation study of such hybrid real-time systems, we extend here the verification method, based on RTA-DEVS, hybrid Timed Automata and the QSS that was introduced in [1], which allows verifying real-time hybrid systems modeled by DEVS formalism. This extension allows the transformation of the QSS model into overapproximation TA model using interval arithmetic to solve the limitation introduced by the purely integer arithmetic available in UPPAAL.