Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72734-7_16 ◽

2007 ◽

pp. 224-240 ◽

Author(s):

R. Gentilini ◽

K. Schneider ◽

B. Mishra

Keyword(s):

Model Checking ◽

Hybrid Automata

Download Full-text

Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24559-6_11 ◽

2011 ◽

pp. 131-146 ◽

Author(s):

João Martins ◽

André Platzer ◽

João Leite

Keyword(s):

Model Checking ◽

Statistical Model ◽

Hybrid Automata ◽

Statistical Model Checking ◽

Grid Applications

Download Full-text

On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata

2007 IEEE Design and Diagnostics of Electronic Circuits and Systems ◽

10.1109/ddecs.2007.4295318 ◽

2007 ◽

Author(s):

Marc Herbstritt ◽

Bernd Becker ◽

Erika Abraham ◽

Christian Herde

Keyword(s):

Model Checking ◽

Variable Selection ◽

Bounded Model Checking ◽

Hybrid Automata ◽

Linear Hybrid Automata

Download Full-text

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking

2008 11th IEEE High Assurance Systems Engineering Symposium ◽

10.1109/hase.2008.38 ◽

2008 ◽

Author(s):

Sumit Kumar Jha ◽

Susmit Jha

Keyword(s):

Model Checking ◽

Reachability Analysis ◽

Hybrid Automata ◽

Linear Hybrid Automata

Download Full-text

Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-76650-6_18 ◽

2007 ◽

pp. 307-326

Author(s):

Guillermo Rodriguez-Navas ◽

Julián Proenza ◽

Hans Hansson

Keyword(s):

Model Checking ◽

Clock Synchronization ◽

Hybrid Automata

Download Full-text

Bounded Model Checking of Hybrid Automata Pushdown System

2014 14th International Conference on Quality Software ◽

10.1109/qsic.2014.36 ◽

2014 ◽

Author(s):

Yu Zhang ◽

Yunwei Dong ◽

Fei Xie

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Hybrid Automata

Download Full-text

Utility of statistical model checking of stochastic hybrid automata for patient controlled analgesia

Elektronika ir Elektrotechnika ◽

10.5755/j01.eie.23.6.17572 ◽

2017 ◽

Vol 23 (6) ◽

Author(s):

Darius Naujokaitis

Keyword(s):

Model Checking ◽

Statistical Model ◽

Hybrid Automata ◽

Patient Controlled Analgesia ◽

Statistical Model Checking

Download Full-text

Property Driven Three-Valued Model Checking on Hybrid Automata

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02261-6_18 ◽

2009 ◽

pp. 218-229 ◽

Author(s):

Kerstin Bauer ◽

Raffaella Gentilini ◽

Klaus Schneider

Keyword(s):

Model Checking ◽

Hybrid Automata

Download Full-text

Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata

2016 16th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2016.18 ◽

2016 ◽

Author(s):

Waheed Ahmad ◽

Marijn Jongerden ◽

Marielle Stoelinga ◽

Jaco van de Pol

Keyword(s):

Model Checking ◽

Hybrid Automata

Download Full-text

Model Checking on Hybrid Automata

2012 15th Euromicro Conference on Digital System Design ◽

10.1109/dsd.2012.87 ◽

2012 ◽

Author(s):

Alberto Casagrande ◽

Carla Piazza

Keyword(s):

Model Checking ◽

Hybrid Automata

Download Full-text

Decidable Model Checking of Probabilistic Hybrid Automata

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-45352-0_5 ◽

2000 ◽

pp. 31-45 ◽

Author(s):

Jeremy Sproston

Keyword(s):

Model Checking ◽

Hybrid Automata ◽

Decidable Model

Download Full-text