Results 271 to 280 of about 2,669 (298)

An Introduction to Hybrid Automata

2005
ion methods are used to simplify models and make their analysis more tractable. Several equivalence relations have been studied for subclasses of hybrid systems. For example, it can be shown that transition systems of timed automata admit finite state abstractions, called region graphs, that are time-abstract bisimilar, see [7] for details.
openaire   +2 more sources

Some Problems of Analysis of Hybrid Automata

Cybernetics and Systems Analysis, 2018
V. Skobelev, V. G. Skobelev
semanticscholar   +1 more source

HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata

International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2017
Nima Roohi, P. Prabhakar, M. Viswanathan
semanticscholar   +1 more source

Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure

IEEE transactions on computers, 2017
Dingbao Xie, Wen Xiong, Lei Bu, Xuandong Li   +3 more
semanticscholar   +1 more source

Hybrid Cellular Automata for Manipulating Complex and Chaotic Cellular Automata

Complex Systems
Control of chaos methods have been successfully applied to many small, closed, chaotic systems; however, there is a difficulty in expanding them to be applicable to large, open, chaotic systems. In this paper, a novel method of manipulating chaotic systems using hybrid cellular automata is proposed and evaluated. Four experiments are performed.
openaire   +1 more source

On the regularization of Zeno hybrid automata

Systems and Control Letters, 1999
Karl Henrik Johansson, Magnus Egerstedt, John Lygerōs   +2 more
exaly  

HyMn: Mining linear hybrid automata from input output traces of cyber-physical systems

Industrial Cyber-Physical Systems, 2018
Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta   +2 more
semanticscholar   +1 more source

Optimal design of sewer networks using cellular automata-based hybrid methods: Discrete and continuous approaches

Engineering Optimization, 2012
M H Afshar
exaly  

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems

Hybrid Systems, 1992
R. Alur, C. Courcoubetis, T. Henzinger, Pei-Hsin Ho   +3 more
semanticscholar   +1 more source

Modeling bipedal locomotion trajectories using hybrid automata

IEEE Region 10 Conference, 2016
G. Nandi, Vijay Bhaskar Semwal, M. Raj, Akanksha Jindal   +3 more
semanticscholar   +1 more source