Theoretical Computer Science
What's decidable about hybrid automata?
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Theory of Modeling and Simulation
Theory of Modeling and Simulation
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
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Discrete Event Simulation of Hybrid Systems
SIAM Journal on Scientific Computing
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Formal Software Analysis Emerging Trends in Software Model Checking
FOSE '07 2007 Future of Software Engineering
Testing software components for integration: a survey of issues and techniques: Research Articles
Software Testing, Verification & Reliability
Random testing: from the classical approach to a global view and full test automation
Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
Reactive Systems: Modelling, Specification and Verification
Reactive Systems: Modelling, Specification and Verification
Approximating Continuous Systems by Timed Automata
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
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
Hybrid systems modeling and verification with DEVS (WIP)
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
| Hi-index | 0.00 |
Hybrid systems (those where continuous and discrete phenomena interact) can be found in many natural and artificial systems. For example, real-time embedded systems usually include discrete-event controllers interacting with a continuous plant. Verifying such real-time systems for correctness is of utmost importance, as results of incorrect behavior could be catastrophic. Although Modeling and Simulation is one of most used tools to study such hybrid real-time systems, they lack of a robust formal mechanism for checking the correctness of the system. Here, we introduce a new verification method, based on RTA-DEVS, hybrid Timed Automata and the QSS method, which allows verifying real-time hybrid systems modeled by DEVS formalism.