A new approach is presented for computing approximations of the reached sets of linear hybrid automata. First, we present some new theoretical results on termination of a class of reachability algorithms, which includes Botchkarev\u2019s, based on ellipsoidal calculus. The main contribution of the paper is a revised reachability computation that avoids the approximations caused by the union operation in the discretized flow tube estimation. Therefore, the new algorithm may classify as unreachable states that are reachable according to the previous algorithm because of the looser over-approximations introduced by the union operation. We implemented the new reachability algorithm and tested it successfully on a real-life case modeling a hybri...
Automatic safety verification of hybrid systems typically involves computing precise reach sets of s...
We introduce the framework of hybrid automata as a model and speci cation language for hybrid system...
Abstract. Reachability analysis is frequently used to study the safety of control systems. We presen...
The paper reports advances in reachability analysis of hybrid automata modeling engine control probl...
The reachability problem for hybrid automata is undecidable, even for linear hybrid automata. This n...
This thesis addresses the problem of reachability analysis with the focus on linear hybrid systems. ...
Ariadne is an in-progress open environment to design algorithms for computing with hybrid automata, ...
Hybrid automata are a powerful formalism for the representation of systems evolving according to bot...
Abstract: Ariadne is an in-progress open environment to design algorithms for computing with hybrid ...
AbstractHybrid automata are a powerful formalism for the representation of systems evolving accordin...
AbstractUndecidability of the reachability problem is ubiquitous in the context of hybrid automata. ...
Abstract. In this paper we describe an experimental system called d=dt for approximating reachable s...
Abstract. Lazy linear hybrid automata (LLHA) model the discrete time behavior of control systems con...
This paper presents methodologies based on approximate computations for the target control problem o...
This paper addresses the exact computation of the set of reachable states of a strongly linear hybri...
Automatic safety verification of hybrid systems typically involves computing precise reach sets of s...
We introduce the framework of hybrid automata as a model and speci cation language for hybrid system...
Abstract. Reachability analysis is frequently used to study the safety of control systems. We presen...
The paper reports advances in reachability analysis of hybrid automata modeling engine control probl...
The reachability problem for hybrid automata is undecidable, even for linear hybrid automata. This n...
This thesis addresses the problem of reachability analysis with the focus on linear hybrid systems. ...
Ariadne is an in-progress open environment to design algorithms for computing with hybrid automata, ...
Hybrid automata are a powerful formalism for the representation of systems evolving according to bot...
Abstract: Ariadne is an in-progress open environment to design algorithms for computing with hybrid ...
AbstractHybrid automata are a powerful formalism for the representation of systems evolving accordin...
AbstractUndecidability of the reachability problem is ubiquitous in the context of hybrid automata. ...
Abstract. In this paper we describe an experimental system called d=dt for approximating reachable s...
Abstract. Lazy linear hybrid automata (LLHA) model the discrete time behavior of control systems con...
This paper presents methodologies based on approximate computations for the target control problem o...
This paper addresses the exact computation of the set of reachable states of a strongly linear hybri...
Automatic safety verification of hybrid systems typically involves computing precise reach sets of s...
We introduce the framework of hybrid automata as a model and speci cation language for hybrid system...
Abstract. Reachability analysis is frequently used to study the safety of control systems. We presen...