Decidable hybrid systems

Authors:
A. Puri;P. Varaiya
Affiliations:
Department of Electrical Engineering and Computer Science University of California, Berkeley, CA 94720, U.S.A.;Department of Electrical Engineering and Computer Science University of California, Berkeley, CA 94720, U.S.A.
Venue:
Mathematical and Computer Modelling: An International Journal
Year:
1996

Citing 5
Cited 6

Communication and Concurrency

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

Hybrid Systems
Verification of Hybrid Systems Using Abstractions

Hybrid Systems II
Decidability of Hybrid Systems with Rectangular Differential Inclusion

CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
An Approach to the Description and Analysis of Hybrid Systems

Hybrid Systems

Dynamical Properties of Timed Automata

Discrete Event Dynamic Systems
Guest Editorial

Discrete Event Dynamic Systems
Decidability results in First–Order Hybrid PetriNets

Discrete Event Dynamic Systems
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicate

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Semantics and Computability of the Evolution of Hybrid Systems

SIAM Journal on Control and Optimization
Control-invariance of hybrid systems with forcible events

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.98

Visualization

Abstract

Hybrid systems combine differential equations with discrete event systems. We consider the reachability problem: is there a trajectory from an initial state to a target state in the hybrid system. We show that for hybrid systems with decoupled differential inclusions, the reachability problem can be decided in a finite number of steps.