Results 241 to 250 of about 2,669 (298)

Observability of Hybrid Automata by Abstraction

2006
In this paper, we deal with the observability problem of a class of Hybrid Systems whose output is a timed string on a finite alphabet. We determine under which conditions it is always possible to immediately detect, using the observed output, when the system enters a given discrete state.
D'INNOCENZO, ALESSANDRO, DI BENEDETTO, MARIA DOMENICA, DI GENNARO, Stefano   +2 more
openaire   +1 more source

Diagnosability Verification for Hybrid Automata

2007
We define a notion of diagnosability for hybrid automata, which generalizes the notion of observability. We propose a procedure to check diagnosability on a given hybrid automaton, and show that the complexity of the verification problem is in PTIME. We apply our procedure to an electromagnetic valve system for camless engines.
DI BENEDETTO, MARIA DOMENICA, S. Di Gennaro, D'INNOCENZO, ALESSANDRO   +2 more
openaire   +3 more sources

A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates

American Control Conference, 2018
In this paper, we provide a toolchain that facilitates the integration of formal verification techniques into model-based design. Applying verification tools to industrially relevant models requires three main ingredients: a formal model, a formal ...
Goran Frehse, Nikolaos Kekatos, D. Ničković, Jens Oehlerking, S. Schuler, A. Walsch, M. Woehrle   +6 more
semanticscholar   +1 more source

Model Checking on Hybrid Automata

2012 15th Euromicro Conference on Digital System Design, 2012
Many systems, both natural and artificial, exhibit a mixed discrete-continuous behavior that cannot be fully cap- tured by either continuous nor discrete models: they evolve in accordance to continuous laws, but these laws are controlled by a finite set of modes.
Alberto Casagrande, Carla Piazza
openaire   +2 more sources

Timed and Hybrid Automata in SAL

2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2008
Various methodologies to model and analyze timed and hybrid systems using SAL are reported. We assume that the system is specified as a network of timed/hybrid automata with synchronized transitions and urgency. We show how to translate the system into a SAL model with the time domain being either discrete or dense, and the clocks being either ...
P. Vijay Suman, Paritosh K. Pandya
openaire   +1 more source

Rewarding probabilistic hybrid automata

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013
The joint consideration of randomness and continuous time is important for the formal verification of many real systems. Considering both facets is especially important for wireless sensor networks, distributed control applications, and many other systems of growing importance. Apart from proving the quantitative safety of such systems, it is important
Ernst Moritz Hahn, Holger Hermanns
openaire   +1 more source

An integrated framework for sizing and energy management of hybrid energy systems using finite automata

Applied Energy, 2019
Due to the significance of hybrid energy systems, selecting the appropriate sizing-energy management strategy combination represents a key factor to ensure the efficient operation while offering a competitive operating cost.
Yara Khawaja, Adib Allahham, Damian Giaouris   +2 more
exaly   +2 more sources

Implementation of Hybrid Automata in Scicos

2007 IEEE International Conference on Control Applications, 2007
Hybrid automaton is a standard model for describing a hybrid system. A hybrid automaton is a state machine augmented with differential equations and is generally represented by a graph composed of vertices and edges where vertices represent continuous activities and edges represent discrete transitions.
Masoud Najafi, Ramine Nikoukhah
openaire   +1 more source

Discreteness, hybrid automata, and biology

2008 9th International Workshop on Discrete Event Systems, 2008
Most of the observable natural phenomena exhibit a mixed discrete-continuous behavior characterized by laws changing according to a phase cycle. Such behaviors can be modeled in a very natural way by a class of automata called hybrid automata. In this class the evolution of measurable quantities, such as concentrations, is represented according to both
CASAGRANDE, A, PIAZZA, Carla, POLICRITI, Alberto   +2 more
openaire   +3 more sources

Introduction to Hybrid Automata

2012
Madhu Gopinathan, Pavithra Prabhakar
exaly   +2 more sources