Author:
Zhan Naijun,Wang Shuling,Zhao Hengjun
Publisher
Springer International Publishing
Reference87 articles.
1. Abate, A., Prandini, M., Lygeros, J., Sastry, S.: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica 44 (11), 2724–2734 (2008)
2. Agrawal, A., Simon, G., Karsai, G.: Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations. In: International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 109, pp. 43–56 (2004)
3. Altman, E., Gaitsgory, V.: Asymptotic optimization of a nonlinear hybrid system governed by a Markov decision process. SIAM J. Control Optim. 35 (6), 2070–2085 (1997)
4. Alur, R.: Formal verification of hybrid systems. In: EMSOFT 2011, pp. 273–278. ACM, New York (2011)
5. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126 (2), 183–235 (1994)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Graded Refinement, Retrenchment, and Simulation;ACM Transactions on Software Engineering and Methodology;2023-03-31
2. Language evolution and healthiness for critical cyber‐physical systems;Journal of Software: Evolution and Process;2020-09-16