Reachability Analysis of Linear Hybrid Systems via Block Decomposition
نویسندگان
چکیده
منابع مشابه
Reachability Analysis of Hybrid Systems with Linear Dynamics
We present results on symbolic reachability analysis for hybrid systems with linear autonomous dynamics in each location.
متن کاملReachability Analysis of Non-Linear Hybrid Systems Using Taylor Models
With the ubiquitous use of computers in controlling physical systems, it requires to have a new formalism that could model both continuous flows and discrete jumps. Hybrid systems are introduced to this purpose. A hybrid system, which is modeled by a hybrid automaton in the thesis, is equipped with finitely many discrete modes and continuous real-valued variables. A state of it is then represen...
متن کاملReachability Analysis of Hybrid Systems via Predicate Abstraction
Predicate abstraction has emerged to be a powerful technique for extracting finite-state models from infinitestate discrete programs. This paper presents algorithms and tools for reachability analysis of hybrid systems by combining the notion of predicate abstraction with recent techniques for approximating the set of reachable states of linear systems using polyhedra. Given a hybrid system and...
متن کاملAn Improved Reachability Analysis Method for Strongly Linear Hybrid Systems
This paper addresses the exact computation of the set of reachable states of a strongly linear hybrid system. It proposes an approach that is an extension of classical state-space exploration. This approach uses a new operation, based on a cycle analysis in the control graph of the system, for generating sets of reachable states, as well as a powerful representation system for sets of values. T...
متن کاملReachability Analysis of Lazy Linear Hybrid Automata
Transition: Transitions are abstracted by abstracting jump and flow conditions. This must be done in order to ensure that transitions that are feasible in the concrete LLHA continue to be feasible in the abstract transition system, at the possible cost of introducing additional (spurious) behaviors. 1. The intuition behind the following definition of abstract guards and invariants is to relax t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
سال: 2020
ISSN: 0278-0070,1937-4151
DOI: 10.1109/tcad.2020.3012859