Google
AllShoppingImagesBooks Maps Videos News
Search tools

Scholarly articles for A decidable class of planar linear hybrid systems.

scholar.google.com › citations
A decidable class of planar linear hybrid systems
Prabhakar � Cited by 18
A decidable class of planar linear hybrid systems
Prabhakar � Cited by 5

A decidable class of planar linear hybrid systems - ScienceDirect.com

www.sciencedirect.com › science › article › pii
In this paper, we prove the decidability for a special class of linear hybrid automata that are planar, monotonic and don't have resets. Planar refers to the�...

[PDF] A Decidable Class of Planar Linear Hybrid Systems - CECS

www.cecs.uci.edu › ~papers › cpsweek08 › papers › hscc08 › session7
Abstract. The paper shows the decidability of the reachability problem for pla- nar, monotonic, linear hybrid automata without resets. These automata are a�...

A Decidable Class of Planar Linear Hybrid Systems - SpringerLink

link.springer.com › Hybrid Systems: Computation and Control
The paper shows the decidability of the reachability problem for planar, monotonic, linear hybrid automata without resets. These automata are a special�...

A Decidable Class of Planar Linear Hybrid Systems | IDEALS

www.ideals.illinois.edu › items
The paper shows the decidability of the reachability problem for planar, monotonic, linear hybrid automata without resets. These automata are a special class of�...

A Decidable Class of Planar Linear Hybrid Systems

dl.acm.org › doi
The paper shows the decidability of the reachability problem for planar, monotonic, linear hybrid automata without resets. These automata are a special�...

A Decidable Class of Planar Linear Hybrid Systems | Request PDF

www.researchgate.net › publication › 262407199_A_Decidable_Class_of_...
In this paper, we show the decidability of a new subclass of linear hybrid automata. These automata are planar, that is, consist of two state variables,�...

A decidable class of planar linear hybrid systems — University of ...

experts.illinois.edu › publications › a-decidable-class-of-planar-linear-hybri...
The paper shows the decidability of the reachability problem for planar, monotonic, linearhybrid automata without resets. These automata are a special class�...

[PDF] A decidable class of planar linear hybrid systems | Semantic ...

www.semanticscholar.org › paper › A-decidable-class-of-planar-linear-hyb...
The proof of decidability hinges on a new observation that the timed trace language of a planar monotonic automaton can be recognized by a timed automaton,�...

A decidable class of planar linear hybrid systems | Theoretical ...

dl.acm.org › doi › abs › j.tcs.2014.11.018
In this paper, we show the decidability of a new subclass of linear hybrid automata. These automata are planar, that is, consist of two state variables,�...

(PDF) A Decidable Class of Planar Linear Hybrid Systems (2008 ...

typeset.io › Paper Directory
Abstract: The paper shows the decidability of the reachability problem for planar, monotonic, linear hybrid automata without resets. These automata are a�...