Search results
- Industrial Cyber-Physical Systems - iCyPhy, Amit Fisher, Clas Jacobson, Edward A. Lee, Richard Murray, Alberto Sangiovanni-Vincentelli, Eelco Scholte, Proc. Complex Systems Design & Management (CSD&M), Springer, 21-37, 4, December, 2013
- United Technologies, Clas Jacobson, Eelco Scholte, 19, November, 2013
- EPS Challenge Problem, Richard Murray, Edward A. Lee, Alberto Sangiovanni-Vincentelli, 17, November, 2013
- iCyPhy Overview, Richard Murray, 16, October, 2013
- Cyber-Physical System Design Space Exploration: Methodology and Tools, Pierluigi Nuzzo, 16, October, 2013
- Supervisory control design for AMS, Yilin Mo, Richard Murray, Necmiye Ozay, Oscar Mickelin, 16, October, 2013
- Determinate Composition of FMUs for Co-Simulation, David Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter, 13th International Conference on Embedded Software (EMSOFT), Montreal, 29, September, 2013
- Using Ptides and Synchronized Clocks to Design Distributed Systems with Deterministic Systemwide Timing, Patricia Derler, John Eidson, Stuart Goose, Edward A. Lee, Slobodan Matic, Michael Zimmer, IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication, September, 2013
- Formal Methods for Control Synthesis, Mumu Xu, 19, June, 2013
- Model Driven Co-Simulation, Christopher Brooks, Lev Greenberg, Pierluigi Nuzzo, 19, June, 2013
- Contract-Based Requirement Capture and Formalization, Pierluigi Nuzzo, 19, June, 2013
- Contract-Based Methodology for Cyber-Physical System Design, Pierluigi Nuzzo, 19, June, 2013
- WS5 Design Driver, Eelco Scholte, 19, June, 2013
- Cyber Physical Systems Opportunities and Challenges: The iCyPhy Research Agenda, Alberto Sangiovanni-Vincentelli, 19, June, 2013
- iCyPhy Mid-year Review: Agenda, Christopher Brooks, 19, June, 2013
- Cyber-Physical Systems: A Rehash or A New Intellectual Challenge?, Edward A. Lee, 4, June, 2013
- iCyPhy Introduction and Project Plan, Amit Fisher, 3, April, 2013
- Design Drivers, iCyPhy Team, 3, April, 2013
- Platform-Based Design Flow for Cyber-Physical Systems Using Contracts, Alberto Sangiovanni-Vincentelli, Pierluigi Nuzzo, Eelco Scholte, 3, April, 2013
- SysML Semantics, Edward A. Lee, Lev Greenberg, iCyPhy Team, 3, April, 2013
- Formal Methods for Control Synthesis, Richard Murray, 3, April, 2013
- FMI - Functional Mockup Interface, Edward A. Lee, Lev Greenberg, 3, April, 2013
- Function-Architecture Co-design and Verification: the Metronomy Approach, Alberto Sangiovanni-Vincentelli, Edward A. Lee, Liangpeng Guo, Patricia Derler, Pierluigi Nuzzo, iCyPhy Team, 3, April, 2013
- iCyPhy Design Drivers, Eelco Scholte, 15, January, 2013
- A Tool Integration Approach for Architectural Exploration of Aircraft Electric Power Systems, Hokeun Kim, Liangpeng Guo, Edward A. Lee, Alberto Sangiovanni-Vincentelli, IEEE Proceedings of the 1st International Conference on Cyber-Physical Systems, Networks, and Applications, IEEE, 38-43, 2013
- iCyPhy Executive Review, November 19, 2013, Amit Fisher, Clas Jacobson, Edward A. Lee, Richard Murray, Alberto Sangiovanni-Vincentelli, 2013
- Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity, Quentin Millet Huan Xu, Necmiye Ozay, Richard Murray, submitted to 2013 Conference on Decison and Control (CDC), 2013
- Contracts for Systems Design, Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Tom Henzinger, Kim Larsen, Proceedings of IEEE, 2013
Found 28 publications.
Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.