Distributed Real-Time Software for Cyber–Physical Systems
暂无分享,去创建一个
Edward A. Lee | Sanjit A. Seshia | John C. Eidson | Jia Zou | Slobodan Matic | J. Eidson | S. Seshia | Jia Zou | Slobodan Matic
[1] Farhad Arbab,et al. Coordination Models and Languages , 1998, Adv. Comput..
[2] Jakob Engblom,et al. The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.
[3] Edward A. Lee,et al. Causality interfaces for actor networks , 2008, TECS.
[4] Gabor Karsai,et al. Model-integrated development of embedded software , 2003, Proc. IEEE.
[5] Measurement , 2007 .
[6] John C. Eidson,et al. Measurement, Control, and Communication Using IEEE 1588 , 2006 .
[7] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[8] Edward A. Lee,et al. A Programming Model for Time-Synchronized Distributed Real-Time Systems , 2007, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).
[9] K. Mani Chandy,et al. Distributed Simulation: A Case Study in Design and Verification of Distributed Programs , 1979, IEEE Transactions on Software Engineering.
[10] Christos G. Cassandras,et al. Discrete event systems : modeling and performance analysis , 1993 .
[11] Edward A. Lee,et al. Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems , 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.
[12] Edward A. Lee,et al. Actor-Oriented Design of Embedded Hardware and Software Systems , 2003, J. Circuits Syst. Comput..
[13] Bernard P. Zeigler,et al. Theory of modeling and simulation , 1976 .
[14] R. Makowitz,et al. Flexray - A communication network for automotive control systems , 2006, 2006 IEEE International Workshop on Factory Communication Systems.
[15] W. Marsden. I and J , 2012 .
[16] Hermann Kopetz,et al. The time-triggered architecture , 2003 .
[17] Edward A. Lee,et al. A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[18] Christos G. Cassandras,et al. Discrete-Event Systems , 2005, Handbook of Networked and Embedded Control Systems.
[19] Edward A. Lee,et al. CPO semantics of timed interactive actor networks , 2008, Theor. Comput. Sci..
[20] David E. Culler,et al. The Emergence of Networking Abstractions and Techniques in TinyOS , 2004, NSDI.
[21] Sanjit A. Seshia,et al. Game-theoretic timing analysis , 2008, ICCAD 2008.
[22] Edward A. Lee. Modeling concurrent real-time processes using discrete events , 1999, Ann. Softw. Eng..
[23] Edward A. Lee,et al. Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems , 2007, EMSOFT '07.
[24] Reza Olfati-Saber,et al. Consensus and Cooperation in Networked Multi-Agent Systems , 2007, Proceedings of the IEEE.
[25] Jia Zou,et al. From Ptides to PtidyOS, Designing Distributed Real-Time Embedded Systems , 2011 .
[26] Edward A. Lee,et al. Simulation and Implementation of the PTIDES Programming Model , 2008, 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications.
[27] Edward A. Lee,et al. Modal Models in Ptolemy , 2010, EOOLT.
[28] Edward A. Lee,et al. PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice , 2009, LCTES '09.
[29] Sanjit A. Seshia,et al. Quantitative Analysis of Systems Using Game-Theoretic Learning , 2012, TECS.
[30] Edward A. Lee,et al. Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.
[31] Joseph Sifakis,et al. The Algebra of Connectors - Structuring Interaction in BIP , 2008, IEEE Trans. Computers.
[32] Sanjit A. Seshia,et al. GameTime: A Toolkit for Timing Analysis of Software , 2011, TACAS.
[33] Andy J. Wellings,et al. Analysing real-time communications: controller area network (CAN) , 1994, 1994 Proceedings Real-Time Systems Symposium.