Towards a Modeling Language for Cyber-Physical Systems
暂无分享,去创建一个
[1] Jifeng He,et al. A Denotational Model for Instantaneous Signal Calculus , 2012, SEFM.
[2] Peter Fritzson. Modelica — A cyber-physical modeling language and the OpenModelica environment , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.
[3] Jifeng He,et al. Towards a Signal Calculus for Event-Based Synchronous Languages , 2011, ICFEM.
[4] C. A. R. Hoare,et al. The Laws of Occam Programming , 1988, Theor. Comput. Sci..
[5] Jifeng He,et al. From algebraic semantics to denotational semantics for Verilog , 2006 .
[6] He Jifeng,et al. An algebraic hardware/software partitioning algorithm , 2002 .
[7] Nancy A. Lynch,et al. Hybrid I/O automata , 1995, Inf. Comput..
[8] Jifeng He,et al. Towards a Provably Correct Hardware Implementation of Occam , 1993, CHARME.
[9] Thomas Stauner,et al. Modifying Esterel Concepts to Model Hybrid Systems , 2002, Electron. Notes Theor. Comput. Sci..
[10] Huibiao Zhu,et al. Complementary Methodologies for Developing Hybrid Systems with Event-B , 2012, ICFEM.
[11] Ajitha Rajan,et al. Requirements Coverage as an Adequacy Measure for Conformance Testing , 2008, ICFEM.
[12] Shengchao Qin,et al. Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language , 2012, J. Log. Algebraic Methods Program..
[13] Stephen A. Edwards,et al. The synchronous languages 12 years later , 2003, Proc. IEEE.
[14] Joost-Pieter Katoen,et al. A probabilistic extension of UML statecharts: Specification and Verification. , 2002 .
[15] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[16] Klaus Schneider,et al. From synchronous programs to symbolic representations of hybrid systems , 2010, HSCC '10.
[17] André Platzer,et al. Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics , 2010 .
[18] Edward A. Lee,et al. Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .
[19] He Jifeng. An Algebraic Approach to the VERILOG Programming , 2003 .
[20] Jifeng He,et al. Laws of Parallel Programming with Shared Variables , 1994, Refine.
[21] C. A. R. Hoare,et al. Laws of programming , 1987, CACM.
[22] Timothy Bourke,et al. A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
[23] C. A. R. Hoare,et al. In praise of algebra , 2012, Formal Aspects of Computing.
[24] Nancy A. Lynch,et al. Hybrid I/O automata , 2003, Inf. Comput..
[25] George J. Milne,et al. Correct Hardware Design and Verification Methods , 2003, Lecture Notes in Computer Science.
[26] Gérard Berry,et al. The foundations of Esterel , 2000, Proof, Language, and Interaction.
[27] Huibiao Zhu,et al. Formalizing Hybrid Systems with Event-B , 2012, ABZ.
[28] Peter Fritzson. The Modelica Object-Oriented Equation-Based Language and Its OpenModelica Environment with MetaModeling, Interoperability, and Parallel Execution , 2010, SIMPAR.
[29] T. Henzinger. The theory of hybrid automata , 1996, LICS 1996.
[30] Sarfraz Khurshid,et al. Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z , 2012 .
[31] C. A. R. Hoare,et al. Provably Correct Systems , 1994, FTRTFT.