Derler P, Vincentelli A S. Modeling cyber-physical systems[J]. Proc of the IEEE, 2012, 100(1): 13-28.
[2]
Eidson J C, Lee E A, Matic S, et al. Time-centric models for designing embedded cyber-physical systems[R]. Berkeley: University of California, 2009.
[3]
Benveniste A, Bourke T, Caillaud B, et al. Non-standard semantics of hybrid systems modelers[J]. J of Computer and System Sciences, 2012, 78(3): 877-910.
[4]
Caspi P, Benveniste A, Lublinerman R, et al. Actors without directors: A Kahnian view of heterogeneous systems[J]. Hybrid Systems: Computation and Control, 2009, 5469(1): 46-60.
[5]
Ramchandani C. Analysis of asynchronous concurrent systems by Petri nets[R]. Massachusetts: Massachusetts Institute of Technology Cambridge Project MAC, 1974.
[6]
Ostroff J S. Temporal logic for real-time systems[M]. Cambridge: Research Studies Press, 1989: 260-262.
[7]
Henzinger T, Manna Z, Pnueli A. Temporal proof methodologies for real-time systems[C]. Proc of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. New York: ACM, 1991: 353-366.
[8]
Bengtsson J, YiW. Timed automata: Semantics, algorithms and tools[J]. Lectures on Concurrency and Petri Nets, 2004, 3098(1): 87-124.
(Wang J P, Zhang Y S, Zhang G, et al. Analysis of signal timing sequence flow chart on parallel and distribute control network[J]. Control and Decision, 2010, 25(11): 1727-1731.)
[11]
Thiele L, Chakraborty S, Naedele M. Real-time calculus for scheduling hard real-time systems[C]. The 2000 IEEE Int Symposium on Circuits and Systems. Geneva: IEEE, 2000, 4: 101-104.
[12]
Alur R, Henzinger T A. A really temporal logic[C]. The 30th Annual Symposium on Foundations of Computer Science. New York: IEEE, 1989: 164-169.
[13]
Alur R, Dill D L. A theory of timed automata[J]. Theoretical Computer Science, 1994, 126(2): 183-235.
[14]
Manna Z, Pnueli A. Verifying hybrid systems[J]. Hybrid Systems, 1993, 736(1): 4-35.
