Reachability Analysis of Multi-affine Systems-Reference-Cited by-同舟云学术

Reachability Analysis of Multi-affine Systems

Published:2006 Issue: Volume: Page:348-362
ISSN:0302-9743
Container-title:Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Kloetzer Marius,Belta Calin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11730637_27

Reference24 articles.

1. Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)

2. Pappas, G.J.: Bisimilar linear systems. Automatica 39(12), 2035–2047 (2003)

3. Haghverdi, E., Tabuada, P., Pappas, G.: Bisimulation relations for dynamical and control systems. In: Blute,, Selinger, e.P. (eds.) Electronic Notes in Theoretical Computer Science, vol. 69, Elsevier, Amsterdam (2003)

4. Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What is decidable about hybrid automata? J. Comput. Syst. Sci. 57, 94–124 (1998)

5. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126, 183–235 (1994)

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems;The International Journal of Robotics Research;2020-04-29

2. Conic Abstractions for Hybrid Systems;Lecture Notes in Computer Science;2017

3. Verification Guided Refinement of Flight Safety Assessment and Management System for Takeoff;Journal of Aerospace Information Systems;2016-09

4. Discrete Abstraction of Multiaffine Systems;Hybrid Systems Biology;2016

5. Abstraction-Based Parameter Synthesis for Multiaffine Systems;Hardware and Software: Verification and Testing;2015