Search results

• Fundamental Limits of Cyber-Physical Systems Modeling, Edward A. Lee, ACM Transactions on Cyber-Physical Systems, 1, 1, November, 2016
• Requirements for Hybrid Cosimulation Standards, HSCC '15 Proceedings, ACM Press, April, 2015
• A Predictable and Command-Level Priority-Based DRAM Controller for Mixed-Criticality Systems, Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, Junkwang Oh, Proceedings of the 21st IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Seattle, WA, USA, April, 2015
• Logically Synchronous Models of Distributed Systems with Explicit Timing Specifications, Patricia Derler, Edward A. Lee, Michael Zimmer, 20th IMEKO TC4 International Symposium and 18th International Workshop on ADC Modelling and Testing Research on Electric and Electronic Measurement for the Economic Upturn, Benevento, Italy, September, 2014
• Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems, Armin Wasicek, Patricia Derler, Edward A. Lee, Proceedings of the 51st Design Automation Conference (DAC), June, 2014
• FlexPRET: A Processor Platform for Mixed-Criticality Systems, Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee, Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), April, 2014
• WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores, Yooseong Kim, David Broman, Jian Cai, Aviral Shrivastava, Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), April, 2014
• Constructive Collisions, chapter in From Programs To Systems. The Systems perspective in Computing., Edward A. Lee, Saddek Bensalem, Yassinie Lakhneck, Axel Legay, 11, 161-176, 8415, Springer Berling Heidelberg, 2014
• On the Schedulability of Real-Time Discrete-Event Systems, Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee, 13th International Conference on Embedded Software (EMSOFT), September, 2013
• Precision Timed Infrastructure: Design Challenges, David Broman, Michael Zimmer, Yooseong Kim, Hokeun Kim, Jian Cai, Aviral Shrivastava, Stephen A. Edwards, Edward A. Lee, In the Proceedings of the Electronic System Level Synthesis Conference (ESLsyn), Austin, Texas, USA, 31, May, 2013
• Verifying Real-Time Software Is Not Reasonable (Today), Edward A. Lee, 24, April, 2013
• Cyber-Physical System Design Contracts, Patricia Derler, Edward A. Lee, Martin Torngren, Stavros Tripakis, ICCPS '13: ACM/IEEE 4th International Conference on Cyber-Physical Systems, 10, April, 2013
• Distributed and Real-time Predictive Control, Melanie Zeilinger, 5, April, 2013
• Control and Optimization of Cyber-Physical Energy Systems: Smart Buildings within Smart Grid, Mehdi Maasoumy, 1, March, 2013
• Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs, Stavros Tripakis, Dai Bui, Bert Rodiers, Edward A. Lee, ACM Transactions on Embedded Computing Systems, 12, 3, March, 2013
• Error-Completion in Interface Theories, Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee, International SPIN Symposium on Model Checking of Software, 2013
• Teaching Embedded Systems the Berkeley Way, Edward A. Lee, Sanjit Seshia, Jeff C. Jensen, Proceedings of the Workshop on Embedded Systems Education (WESE), 11, October, 2012
• A PRET Microarchitecture Implementation with Repeatable Timing and Competitive Performance, Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee, Proceedings of the 30th IEEE International Conference on Computer Design (ICCD 2012), October, 2012
• Learning and Control: The Learning-Based Model Predictive Control Method, Anil Aswani, Humberto Gonzalez, Patrick M. Bouffard, Shankar Sastry, Claire Tomlin, 20, August, 2012
• Pricing in Non-cooperative Dynamic Games, Lillian Ratliff, Sam Coogan, Daniel Calderone, 20, August, 2012
• Efficiency in Mean Field Differential Games, Maximilian Balandat, Claire Tomlin, 20, August, 2012
• Links to Berkeley efforts (PiE, Kickstart, Berkeley Science Connections, SUPERB), Maryam Kamgarpour, Claire Tomlin, David Culler, Shankar Sastry, Edward A. Lee, 20, August, 2012
• Hybrid Optimal Control for Safety-Critical Systems, Jerry Ding, Humberto Gonzalez, Maryam Kamgarpour, Shankar Sastry, Claire Tomlin, 20, August, 2012
• Hybrid Communication Protocols & Control Algorithms for Future Air Traffic Arrivals, Pangun Park, Harshad Khadilkar, Hamsa Balakrishnan, Claire Tomlin, 20, August, 2012
• Decentralized Optimization and Control for NextGen, Wei Zhang, 20, August, 2012
• Energy-Efficient Air Traffic Operations, Hamsa Balakrishnan, 20, August, 2012
• Energy Efficient Buildings, Hamsa Balakrishnan, David Culler, Edward A. Lee, Shankar Sastry, Claire Tomlin, 20, August, 2012
• BEARCAT: Student Outreach and Human/Automation Systems Research, Haomiao Huang, Claire Tomlin, Zhengyuan Zhou, Andrew Sy, Scott Hoag, Steven Xu, Ayushi Samaddar, Catherine Pavlov, 20, August, 2012
• Energy-Efficient Control using Learning-Based Model Predictive Control, Anil Aswani, Neal Master, Jay Taneja, Andrew Krioukov, David Culler, Claire Tomlin, 20, August, 2012
• Sutardja Dai Hall Control Infrastructure, Andrew Krioukov, Stephen Dawson-Haggerty, Jay Taneja, David Culler, 20, August, 2012
• Identifying Models of HVAC Systems Using Semiparametric Regression, Anil Aswani, Neal Master, Jay Taneja, Virginia Smith, Andrew Krioukov, David Culler, Claire Tomlin, 2012 American Control Conference, 28, June, 2012
• Incentive Design for Efficient Building Quality of Service, Anil Aswani, 22, June, 2012
• Energy-Efficient HVAC Control in Sutardja Dai Hall, Anil Aswani, 15, June, 2012
• A Mean Field Congestion Game Framework, Maximilian Balandat, 8, June, 2012
• PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems, Jia Zou, Slobodan Matic, Edward A. Lee, Proceedings of IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012, 209-218, 16, April, 2012
• Virtualizing Cyber-Physical Systems: Bringing CPS to Online Education, Jeff C. Jensen, Edward A. Lee, Sanjit Seshia, , in Proceedings of the First Workshop on Cyber-Physical Education (CPS-Ed), 8, April, 2012
• A Modular Formal Semantics for Ptolemy, Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee, Mathematical Structures in Computer Science. Accepted for publication, 2012
• PTIDES Model on a Distributed Testbed Emulating Smart Grid Real-Time Applications, Slobodan Matic, Ilge Akkaya, Michael Zimmer, John Eidson, Edward A. Lee, IEEE Conference on Innovative Smart Grid Technologies (ISGT-EUROPE), December, 2011
• Identifying efficient operations through linking measurements and models in commercial buildings, Rongxin Yin, 17, November, 2011
• Statistics in Control, Anil Aswani, 6, October, 2011
• A Model-Based Design Methodology for Cyber-Physical Systems, Jeff C. Jensen, Danica Chang, Edward A. Lee, Wireless Communications and Mobile Computing Conference (IWCMC), 2011 7th International, 1666 - 1671, 6, July, 2011
• Network Latency and Packet Delay Variation in Cyber-physical Systems, Janette Cardoso, Patricia Derler, John Eidson, Edward A. Lee, 2011 IEEE 1st International Workshop on Network Science (NSW 2011) West Point, NY, IEEE, 23, June, 2011
• Temporal Isolation on Multiprocessing Architectures, Dai Bui, Edward A. Lee, Isaac Liu, Hiren Patel, Jan Reineke, Design Automation Conference (DAC), 274 - 279, June, 2011
• Model-Based Development of Deterministic, Event-Driven, Real-Time Distributed Systems, Patricia Derler, John Eidson, Edward A. Lee, Slobodan Matic, Michael Zimmer, International Workshop on Model-Based Design with a Focus on Extra-Functional Properties (MBDEFP), 2011
• Statistical System Identification and Control, Anil Aswani, 1, December, 2010
• A PRET Architecture Supporting Concurrent Programs with Composable Timing Properties, Isaac Liu, Jan Reineke, Edward A. Lee, 44th Asilomar Conference on Signals, Systems, and Computers, 2111-2115, 7, November, 2010
• Exploring Models of Computation with Ptolemy II, Christopher Brooks, Edward A. Lee, Stavros Tripakis, 24, October, 2010
• Disciplined Heterogeneous Modeling, Edward A. Lee, Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering, Languages, and Systems (MODELS), D.C. Petriu, N. Rouquette, O. Haugen, LNCS 6395, Springer-Verlag, 273-287, 3, October, 2010
• Modal Models in Ptolemy, Edward A. Lee, Stavros Tripakis, Proceedings of 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2010), 11-22, 3, October, 2010
• An Introductory Textbook on Cyber-Physical Systems, Peter Marwedel, Jeff Jackson , Kenneth G. Ricks, ACM, October, 2010
• The National Airspace System as a Cyber-Physical System, Hamsa Balakrishnan, 23, July, 2010
• ActionWebs: Education and Outreach, Kristen Gates, 23, July, 2010
• ActionWebs, Hamsa Balakrishnan, David Culler, Edward A. Lee, Shankar Sastry, Claire Tomlin, 23, July, 2010
• Toward a Theory of High Confidence Network Control System, Saurabh Amin, Shankar Sastry, 23, July, 2010
• Hybrid and Embedded Systems: Generalized Hybrid Systems, Edward A. Lee, 23, July, 2010
• ActionWebs, Hamsa Balakrishnan, David Culler, Edward A. Lee, Shankar Sastry, Claire Tomlin, 17, December, 2009
• Multiobjective control: safety and efficiency, Hamsa Balakrishnan, David Culler, Edward A. Lee, Shankar Sastry, Claire Tomlin, 17, December, 2009
• Action Webs Kickoff: Buildings, David Culler, 17, December, 2009
• Fuel Efficient Air Traffic Control, Maryam Kamgarpour, Claire Tomlin, John Robinson, 17, December, 2009
• ActionWebs: Education and Outreach, Kristen Gates, 17, December, 2009
• Embedded Systems: A Focus on Time, Edward A. Lee, 17, December, 2009
• Action Webs Kickoff: Embedded Networking and Software, David Culler, Jorge Ortiz, 17, December, 2009
• Closing the Loop: Towards a theory for High Confidence Cyber Physical Systems for Societal Systems, Songhwai Oh, Saurabh Amin, Alvaro Cardenas, Luca Schenato, Bruno Sinopoli, Shankar Sastry, 17, December, 2009
• Organizing and Storing Building Data, David Culler, Jorge Ortiz, 17, December, 2009
• ActionWebs: Energy-efficient Air Transportation Systems, Hamsa Balakrishnan, 17, December, 2009
• Embedded Building Application Stack, Stephen Dawson-Haggerty, David Culler, 17, December, 2009
• Semantic Type Annotation, Ben Lickly, Jackie Man-Kit Leung, Thomas Mandl, Edward A. Lee, Beth Osyk, Charles Shelton, Stavros Tripakis, 17, December, 2009
• Indoor Localization using WiFi & accelerometers, Pranav Shah, Claire Tomlin, 17, December, 2009
• Hybrid Systems: Model Identification and State Estimation, Hamsa Balakrishnan, David Culler, Edward A. Lee, Shankar Sastry, Claire Tomlin, 17, December, 2009

Found 69 publications.