1. Lee EA (2008) Cyber physical systems: Design challenges. In: 2008 11th IEEE international symposium on object oriented real-time distributed computing (ISORC). IEEE

2. Gabbay DM, Kurucz A, Wolter F, Zakharyaschev M (2003) Many-dimensional modal logics: theory and applications. Amsterdam; Boston: Elsevier. North Holland

3. Konur S, Fisher M, Schewe S (2013) Combined model checking for temporal, probabilistic, and real-time logics. Theor Comput Sci 503:61–88

   Article MathSciNet  Google Scholar 

4. Gabelaia D, Kontchakov R, Kurucz A, Wolter F, Zakharyaschev M (2005) Combining spatial and temporal logics: expressiveness vs. complexity. J Artif Intell Res 23:167–243

   Article MathSciNet  Google Scholar 

5. Wolter F, Zakharyaschev M (2000) Spatio-temporal representation and reasoning based on RCC-8. In: 7Th international conference on principles of knowledge representation and reasoning. Morgan kaufmann, pp 3–14

6. Bennett B (1994) Spatial reasoning with propositional logics. In: 4Th international conference on principles of knowledge representation and reasoning (KR). Morgan kaufmann, pp 51–62

7. Randell DA, Cui Z, Cohn AG (1992) A spatial logic based on regions and connection. In: 3Th international conference on principles of knowledge representation and reasoning. Morgan kaufmann, pp 165–176

8. Kontchakov R, Kurucz A, Wolter F, Zakharyaschev M (2007) Spatial logic+ temporal logic=?. In: Handbook of spatial logics. Springer, pp 497–564

9. Shao Z, Liu J, Ding Z, Chen M, Jiang N (2013) Spatio-temporal properties analysis for cyberphysical systems. In: 18Th international conference on engineering of complex computer systems (ICECCS). IEEE, pp 101–110

10. Sun H, Liu J, Chen X, Du D (2015) Specifying cyber physical system safety properties with metric temporal spatial logic. In: 22nd asia-pacific software engineering conference (APSEC). IEEE, pp 254–260

11. Alur R, Feder T, Henzinger TA (1996) The benefits of relaxing punctuality. J ACM (JACM) 43(1):116–146

    Article MathSciNet  Google Scholar 

12. Maler O, Nickovic D (2004) Monitoring temporal properties of continuous signals. In: Formal techniques, modelling and analysis of timed and fault-tolerant systems. Springer, pp 152–166

13. Donzé A., Ferrere T, Maler O (2013) Efficient robust monitoring for STL. In: International conference on computer aided verification. Springer, pp 264–279

14. Raman V, Donzé A, Sadigh D, Murray RM, Seshia SA (2015) Reactive synthesis from signal temporal logic specifications. In: Proceedings of the 18th international conference on hybrid systems: Computation and control. ACM, pp 239–248

15. Haghighi I, Jones A, Kong Z, Bartocci E, Gros R, Belta C (2015) Spatel: a novel spatialtemporal logic and its applications to networked systems. In: Proceedings of the 18th international conference on hybrid systems: computation and control. ACM, pp 189–198

16. Li T., Liu J., Kang J., Sun H., Yin W., Chen X., Wang H. (2020) STSL: A novel spatio-temporal specification language for cyber-physical systems. In: The 20th IEEE international conference on software quality, reliability and security. pp. 309–319. IEEE

17. Li T, Liu J, An D, Sun H (2019) A sound and complete axiomatisation for spatio-temporal specification language. In: The 31st international conference on software engineering & knowledge engineering. KSI, pp 153–204

18. Lemire D (2007) Streaming maximum-minimum filter using no more than three comparisons per element. Nordic J Comput 13(4):328–339

    MathSciNet MATH  Google Scholar 

19. Van Laarhoven PJ, Aarts EH (1987) Simulated annealing. In: Simulated annealing: theory and applications. Springer, pp 7–15

20. Ladner RE (1977) The computational complexity of provability in systems of modal propositional logic. SIAM J Comput 6(3):467–480

    Article MathSciNet  Google Scholar 

21. Wolter F, Zakharyaschev M (2005) A logic for metric and topology. J Symb Log 70(3):795–828

    Article MathSciNet  Google Scholar 

22. Gao H, Huang W, Yang X, Duan Y, Yin Y (2018) Toward service selection for workflow reconfiguration: an interface-based computing solution. Futur Gener Comput Syst 87:298–311

    Article  Google Scholar 

23. Nenzi L, Bortolussi L, Ciancia V, Loreti M, Massink M (2015) Qualitative and quantitative monitoring of spatio-temporal properties. In: Runtime verification. Springer, pp 21–37

24. Deshmukh JV, Donzé A, Ghosh S, Jin X, Juniwal G, Seshia SA (2017) Robust online monitoring of signal temporal logic. Form Methods Syst Des 51(1):5–30

    Article  Google Scholar 

25. Sankaranarayanan S, Fainekos G (2012) Falsification of temporal properties of hybrid systems using the cross-entropy method. In: Proceedings of the 15th ACM international conference on hybrid systems: computation and control. ACM, pp 125–134

26. Nghiem T, Sankaranarayanan S, Fainekos G, Ivancic F, Gupta A, Pappas GJ (2010) Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. In: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control. ACM, pp 211–220

27. Jin X, Donzé A, Deshmukh JV, Seshia SA (2015) Mining requirements from closed-loop control models. IEEE Trans Comput-Aid Des Integr Circ Syst 34(11):1704–1717

    Article  Google Scholar 

28. Zhang Z, Hasuo I, Arcaini P (2019) Multi-armed bandits for boolean connectives in hybrid system falsification. In: International conference on computer aided verification. Springer, pp 401–420

29. Metropolis N, Rosenbluth AW, Rosenbluth MN, Teller AH, Teller E (1953) Equation of state calculations by fast computing machines. J Chem Phys 21(6):1087–1092

    Article  Google Scholar 

30. Yang X, Zhou S, Cao M (2019) An approach to alleviate the sparsity problem of hybrid collaborative filtering based recommendations: the productattribute perspective from user reviews. Mob Netw Appl :1–15

31. Takahama T, Akasaka D (2018) Model predictive control approach to design practical adaptive cruise control for traffic jam. Int J Autom Eng 9(3):99–104

    Article  Google Scholar 

32. Kavraki LE, Svestka P, Latombe JC, Overmars MH (1996) Probabilistic roadmaps for path planning in high-dimensional configuration spaces. IEEE Trans Robot Autom 12(4):566–580

    Article  Google Scholar 

33. Knapp A, Merz S, Wirsing M, Zappe J (2006) Specification and refinement of mobile systems in MTLA and mobile uml. Theor Comput Sci 351(2):184–202

    Article MathSciNet  Google Scholar 

34. Bresolin D, Sala P, Della Monica D, Montanari A, Sciavicco G (2010) A decidable spatial generalization of metric interval temporal logic. In: 2010 17Th international symposium on temporal representation and reasoning. IEEE, pp 95–102

35. Balbiani P, Fernández-Duque D., Lorini E (2017) Exploring the bidimensional space: a dynamic logic point of view. In: Proceedings of the 16th conference on autonomous agents and multiagent systems. International Foundation for Autonomous Agents and Multiagent Systems, pp 132–140

36. Bennett B, Cohn AG, Wolter F, Zakharyaschev M (2002) Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Appl Intell 17(3):239–251

    Article  Google Scholar 

37. Ciancia V, Gilmore S, Grilletti G, Latella D, Loreti M, Massink M (2018) Spatio-temporal model checking of vehicular movement in public transport systems. Int J Softw Tools Technol Transfer :1–23

38. Nenzi L, Bortolussi L, Ciancia V, Loreti M, Massink M (2017) Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Log Methods Comput Sci 14:1–38

    MathSciNet MATH  Google Scholar 

39. Bartocci E, Bortolussi L, Loreti M, Nenzi L (2017) Monitoring mobile and spatially distributed cyberphysical systems. In: Proceedings of the 15th ACMIEEE international conference on formal methods and models for system design. ACM, pp 146–155

40. Talcott C (2008) Cyber-physical systems and events. In: Software-intensive systems and new computing paradigms. Springer, pp 101–115

41. Tan Y, Vuran MC, Goddard S (2009) Spatiotemporal event model for cyber-physical systems. In: 2009 29th IEEE international conference on distributed computing systems workshops. IEEE pp. 44–50

42. Gao H, Huang W, Yang X (2019) Applying probabilistic model checking to path planning in an intelligent transportation system using mobility trajectories and their statistical data. Intell Automat Soft Comput 25(3):547–559

    Google Scholar 

43. Gao H, Liu C, Li Y, Yang X (2020) V2vr: reliable hybrid-network-oriented v2v data transmission and routing considering rsus and connectivity probability. IEEE Trans Intell Transp Syst :1–14.https://doi.org/10.1109/TITS.2020.2983835

Download references