Author:
Falcone Alberto,Garro Alfredo,Mukhametzhanov Marat S.,Sergeyev Yaroslav D.
Subject
Applied Mathematics,Computational Mathematics
Reference64 articles.
1. Formal verification of hybrid systems;Alur,2011
2. Principles of Cyber-physical Systems;Alur,2015
3. A generalized Taylor method of order three for the solution of initial value problems in standard and infinity floating-point arithmetic;Amodio;Math Comput Simul,2017
4. Hybrid system modeling and autonomous control systems;Antsaklis,1993
5. Modularity in the design of complex engineering systems;Baldwin,2006
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献