IEEE - Institute of Electrical and Electronics Engineers, Inc. - Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure

Author(s): Dingbao Xie ; Wen Xiong ; Lei Bu ; Xuandong Li
Sponsor(s): IEEE Comput. Soc. Tech. Committee on Distributed Process
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2017
Volume: 66
Page(s): 416 - 430
ISSN (Paper): 0018-9340
DOI: 10.1109/TC.2016.2604308
Regular:

Reachability analysis of linear hybrid automata (LHA) is an important problem. Classical model checking (CMC) technique is not scalable and not guaranteed to terminate. On the other hand, bounded... View More

Advertisement