On the decidability and complexity of problems for restricted hierarchical hybrid systems

We study variants of a recently introduced hybrid system model, called a Hierarchical Piecewise Constant Derivative (HPCD). These variants (loosely called Restricted HPCDs) form a class of natural models with similarities to many other well known hybrid system models in the literature such as Stopwa...

Full description

Saved in:
Bibliographic Details
Main Authors: Paul Bell, Shang Chen, Lisa Jackson
Format: Default Article
Published: 2016
Subjects:
Other information and computing sciences not elsewhere classified
Hybrid systems
Reachability and mortality
Piecewise affine maps
(Hierarchical) piecewise constant derivatives
Information and Computing Sciences not elsewhere classified
Online Access:https://hdl.handle.net/2134/23132
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://hdl.handle.net/2134/23132

Similar Items