Author:
Wang Jiawan,Bu Lei,Xing Shaopeng,Wu Yuming,Li Xuandong
Publisher
Springer International Publishing
Reference22 articles.
1. Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems: A Cyber-Physical Systems Approach. MIT Press (2017)
2. Clarke, E.M., Grumberg, O., et al.: Model Checking. MIT Press (2018)
3. Di Bernardo, M., Salvi, A., Santini, S.: Distributed consensus strategy for platooning of vehicles in the presence of time-varying heterogeneous communication delays. IEEE Trans. Intell. Transp. Syst. 16(1), 102–112 (2014)
4. Henzinger, T.A.: The theory of hybrid automata. In: Inan, M.K., Kurshan, R.P. (eds.) Verification of Digital and Hybrid Systems, pp. 265–292. Springer, Heidelberg (2000). https://doi.org/10.1007/978-3-642-59615-5_13d
5. Bu, L., Li, Y., Wang, L., Li, X.: Bach: bounded reachability checker for linear hybrid automata. In: FMCAD, pp. 1–4 (2008)