Transactions of the Institute of Systems, Control and Information Engineers
Online ISSN : 2185-811X
Print ISSN : 1342-5668
ISSN-L : 1342-5668
On Reachability Problem for Linear Hybrid Systems
Hirokazu ANAIVolker WEISPFENNING
Author information
JOURNALS FREE ACCESS

2002 Volume 15 Issue 3 Pages 109-116

Details
Abstract

In this paper we present new decidability results, wider decidable classes of linear hybrid systems with linear vector field of the form x=Ax+Bu at each discrete location. Combination of the systematic treatment for the decidability problems of the linear differential systems x=Ax+Bu by H. Anai et al [4] and the framework dealing with decidability problems of hybrid systems based on the mathematical logic and model theory introduced by G. Lafferriere et al [13, 14] enables these decidability results. Moreover, we also discuss some extensions of these decidability results.

Information related to the author
© The Institute of Systems, Control and Information Engineers
Next article
feedback
Top