Search results
- Platform-Based Design of Aircraft Electric Power Systems Using Contracts, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, 30, November, 2012
- Controls Discussion, Richard Murray, 29, November, 2012
- Correct-by-Construction Synthesis of Reactive Control Protocols, Richard Murray, 29, November, 2012
- Integrating MetroII and Ptolemy, Liangpeng Guo, Alberto Sangiovanni-Vincentelli, Edward A. Lee, Patricia Derler, 29, November, 2012
- Co-Simulation in Ptolemy II, Patricia Derler, 29, November, 2012
- Aircraft Electric Power System Challenge Problem, Necmiye Ozay, 28, November, 2012
- Models of Computation, Alberto Sangiovanni-Vincentelli, 28, November, 2012
- A Practical Ontology Framework for Static Model Analysis, Edward A. Lee, 28, November, 2012
- Determinate Cosimulation using FMI and other stories..., Edward A. Lee, 28, November, 2012
- A Proposal for an Industry-Academic Partnership for Pre-Competitive Research: iCyPhy, Industrial Cyber-Physical Systems, Alberto Sangiovanni-Vincentelli, Edward A. Lee, Richard Murray, Clas Jacobson, Eelco Scholte, John F. Arnold, Amit Fisher, March, 2012
Found 10 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.