Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/13390

Title: Reachability problems for hierarchical piecewise constant derivative systems
Authors: Bell, Paul C.
Chen, Shang
Issue Date: 2013
Publisher: © Springer-Verlag Berlin Heidelberg
Citation: BELL, P.C. and CHEN, S., 2013. Reachability problems for hierarchical piecewise constant derivative systems. IN: Abdulla, P.Z. and Potapov, I. (eds.). Reachability Problems for Hierarchical Piecewise Constant Derivative Systems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings. Lecture Notes in Computer Science; 8169, pp. 46-58.
Series/Report no.: Notes in Computer Science;8169
Abstract: In this paper, we investigate the computability and complexity of reachability problems for two-dimensional hierarchical piecewise constant derivative (HPCD) systems. The main interest in HPCDs stems from the fact that their reachability problem is on the border between decidability and undecidability, since it is equivalent to that of reachability for one-dimensional piecewise affine maps (PAMs) which is a long standing open problem. Understanding the most expressive hybrid system models that retain decidability for reachability has generated a great deal of interest over the past few years. In this paper, we show a restriction of HPCDs (called RHPCDs) which leads to the reachability problem becoming decidable. We then study which additional powers we must add to the RHPCD model to render it 1D PAM-equivalent. Finally, we show NP-hardness of reachability for nondeterministic RHPCDs.
Description: The final publication is available at link.springer.com.
Version: Accepted for publication
DOI: 10.1007/978-3-642-41036-9_6
URI: https://dspace.lboro.ac.uk/2134/13390
Publisher Link: http://dx.doi.org/10.1007/978-3-642-41036-9_6
ISBN: 9783642410369
9783642410352
ISSN: 0302-9743
Appears in Collections:Conference Papers and Presentations (Computer Science)

Files associated with this item:

File Description SizeFormat
BellChen.pdfAccepted version424.84 kBUnknownView/Open

 

SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.