IEEE - Institute of Electrical and Electronics Engineers, Inc. - Computing reachable sets of linear vector fields revisited

2016 European Control Conference (ECC)

Author(s): Ting Gan ; Mingshuai Chen ; Yangjia Li ; Bican Xia ; Naijun Zhan
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2016
Conference Location: Aalborg, Denmark
Conference Date: 29 June 2016
Page(s): 419 - 426
ISBN (Electronic): 978-1-5090-2591-6
ISBN (USB): 978-1-5090-2590-9
DOI: 10.1109/ECC.2016.7810321
Regular:

The reachability problem is one of the most important issues in the verification of hybrid systems. But unfortunately the reachable sets for most of hybrid systems are not computable except for... View More

Advertisement