A Clock-Based Specification of Cyber-Physical Systems
暂无分享,去创建一个
[1] Edward A. Lee,et al. Distributed Real-Time Software for Cyber–Physical Systems , 2012, Proceedings of the IEEE.
[2] Robert M. Hierons,et al. Testing Real-Time Embedded Systems using Timed Automata based approaches , 2013, J. Syst. Softw..
[3] Lichen Zhang,et al. Specication of Cyber Physical Systems Based on Clock Theory , 2013 .
[4] L. M. Bujorianu,et al. An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems , 2008 .
[5] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[6] Reinhard Budde. Esterel: Applied to the case study production cell , 1995 .
[7] Manuel I. Capel,et al. A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models , 2007, Sci. Comput. Program..
[8] Alan Burns,et al. How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study* , 2003, Real-Time Systems.
[9] Thomas A. Henzinger,et al. A really temporal logic , 1994, JACM.
[10] Jean-François Raskin,et al. Event Clock Automata: From Theory to Practice , 2011, FORMATS.
[11] Frédéric Mallet. Clock constraint specification language: specifying clock constraints with UML/MARTE , 2008, Innovations in Systems and Software Engineering.
[12] Zuohua Ding,et al. Hybrid MARTE statecharts , 2012, Frontiers of Computer Science.
[13] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[14] Julien DeAntoni,et al. Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL , 2011, 2011 Eighteenth International Symposium on Temporal Representation and Reasoning.
[15] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[16] Claus Lewerentz,et al. "Production Cell": A Comparative Study in Formal Specification and Verification , 1995, KORSO Book.
[17] Taylor T. Johnson,et al. Static and Dynamic Analysis of Timed Distributed Traces , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.
[18] Ralph-Johan Back,et al. Generalizing Action Systems to Hybrid Systems , 1999, FTRTFT.
[19] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..
[20] Islam A. M. El-Maddah. Component-based development of process control systems , 2005, The 3rd ACS/IEEE International Conference onComputer Systems and Applications, 2005..