Search results
- iCyPhy Activities and Accomplishments, Edward A. Lee, Richard Murray, Alberto Sangiovanni-Vincentelli, 4, December, 2014
- iCyPhy Executive Review: Plans and Discussion, Edward A. Lee, 4, December, 2014
- iCyPhy Executive Review: FMI and SysML, Edward A. Lee, 4, December, 2014
- iCyPhy Executive Review: Design Methodology and Requirement Formalization, Alberto Sangiovanni-Vincentelli, 4, December, 2014
- A Contract-Based Methodology for Aircraft Electric Power System Design, Pierluigi Nuzzo, Mumu Xu, Necmiye Ozay, John B. Finn, Alberto Sangiovanni-Vincentelli, Richard Murray, Alexandre Donze, Sanjit Seshia, IEEE Access, November, 2014
- Aspect-Oriented Modeling, Patricia Derler, 11, August, 2014
- Requirements for Hybrid Cosimulation, David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter, EECS Department, University of California, Berkeley, UCB/EECS-2014-157, August, 2014
- Constructive Models of Discrete and Continuous Physical Phenomena, Edward A. Lee, 6, July, 2014
- Efficient control synthesis for augmented finite transition systems with an application to switching protocols, Fei Sun, Necmiye Ozay, Eric M. Wolff, Jun Liu, Richard Murray, Proc. American Control Conference (ACC), 4, June, 2014
- Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information, Oscar Mickelin, Necmiye Ozay, Richard Murray, Proc. American Control Conference (ACC), 4, June, 2014
- Industrial Cyber-Physical Systems - iCyPhy Overview of the Research Consortium, Amit Fisher, Clas Jacobson, Edward A. Lee, Richard Murray, Alberto Sangiovanni-Vincentelli, Eelco Scholte, iCyPhy, June, 2014
- Bridging the Semantic Gap Between Heterogeneous Modeling Formalisms and FMI, Stavros Tripakis, David Broman, EECS Department, University of California, Berkeley, UCB/EECS-2014-30, April, 2014
- From Relational Interfaces to Assume-Guarantee Contracts, Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, U.C. Berkeley, 2014
Found 13 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.