Results 311 to 320 of about 1,755,572 (349)

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

Inter-triggering hybrid automata

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, 2020
This paper introduces inter-triggering hybrid automata, a formalism to represent multi-agent systems where each agent is represented as a hybrid automaton and agents interact by triggering discrete transitions (jumps and resets) on their "neighboring" agents.
openaire   +1 more source

Lazy Rectangular Hybrid Automata

2004
We introduce the class of lazy rectangular hybrid automata. The key feature of this class is that both the observation of the continuous state and the rate changes associated with mode switchings take place with bounded delays. We show that the discrete time dynamics of this class of automata can be effectively analyzed without requiring resetting of ...
Agrawal, M., Thiagarajan, P.S.
openaire   +1 more source

Hybrid automata in systems biology

2022
In this chapter, the authors discuss a number of formal tools collectively driving them to Hybrid Automata. Automata have a long and rich history in computer science, and they have been used in a variety of ways to render (formally) many basic and natural ideas.
Casagrande A., Gentilini R., Piazza C., Policriti A.   +3 more
openaire   +2 more sources

Superposition Principle in Composable Hybrid Automata

Fundamenta Informaticae, 2018
Hybrid automata are a well-established modelling approach. The formalism is used in many real-time and control systems engineering projects, which makes model composition an increasingly relevant topic. A well-defined composition support allows concurrent engineering activities and the validation of larger systems.
Akhundov, Jafar, Tröger, Peter, Werner, Matthias   +2 more
openaire   +1 more source

Optimal control strategy for hybrid automata

ICAR '05. Proceedings., 12th International Conference on Advanced Robotics, 2005., 2005
The research described in this paper addresses the problem of automatic execution of robotic tasks, considering uncertain environment. The focus on the paper is on the mathematical methodology used to address this problem, which belongs to the family of optimum systems control methods.
BOTTURI, Debora, A. CASTELLANI, FIORINI, Paolo   +2 more
openaire   +2 more sources

Combining hybrid Petri nets and hybrid automata

IEEE Transactions on Robotics and Automation, 2001
Hybrid systems have received much attention and a number of different models have been proposed in order to establish a mathematical framework which is able to handle both continuous and discrete aspects. Our research is focused on two models: hybrid automata and hybrid Petri nets (hybrid PNs). First, we deal with studying the hybrid PN functioning. An
A.T. Sava, H. Alla
openaire   +1 more source

On Transfinite Hybrid Automata

2005
In this paper, we propose a new method to deal with hybrid systems based on the concept of the nonstandard analysis and the Buchi's transfinite automata. An essential point of the method is a generalization of hybrid automata with hyperfinite iteration of an infinitesimal transition in * ℝ.
Katsunori Nakamura, Akira Fusaoka
openaire   +1 more source

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

Automata, Circuits, and Hybrids: Facets of Continuous Time

Proceedings of the thirty-third annual ACM symposium on Theory of computing, 2001
Classical Automata Theory (AT) is mainly about devices that operate in discrete time. Recent research stimulated the interest to, and the development of, paradigms in which continuous time is involved whether in a pure way or in cooperation with discrete time.
openaire   +1 more source