IEEE - Institute of Electrical and Electronics Engineers, Inc. - Polynomial phase-portrait reachable set approximation for hybrid automata

2011 IEEE International Conference on Computer Science and Automation Engineering (CSAE)

Author(s): Liu Baoluo ; Peng Huiling ; Nie Yalin
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2011
Conference Location: Shanghai, China, China
Conference Date: 10 June 2011
Volume: 3
Page(s): 220 - 223
ISBN (CD): 978-1-4244-8726-4
ISBN (Electronic): 978-1-4244-8728-8
ISBN (Paper): 978-1-4244-8727-1
DOI: 10.1109/CSAE.2011.5952668
Regular:

Model transformation is to construct a computable automaton to over-approximate the original automaton. In this paper, the linear phase-portrait approximation is extended to the polynomial... View More

Advertisement