Search results

• Sensor fusion in dynamical systems - applications and research challenges, Thomas B. Schön, 11, December, 2012
• Time for High-Confidence Distributed Embedded Systems, Edward A. Lee, 4, December, 2012
• Modeling and Analysis of Middleware Design for Streaming Power-Grid Applications, Ilge Akkaya, Yan Liu, Ian Gorton, In Proceedings of International Middleware Conference (Middleware 2012), 3, December, 2012
• High-Confidence Cyber-Physical Co-Design, David Broman, in the Proceedings of the Work-in-Progress (WiP) session of the 33rd IEEE Real-Time Systems Symposium (RTSS 2012), Thomas Nolte, 12, December, 2012
• Synchronous Control and State Machines in Modelica, Hilding Elmqvist, 27, November, 2012
• T-CREST: Time-predictable Multi-Core Architecture for Embedded Systems, Martin Schoeberl, 16, November, 2012
• Verifying Real-Time Software is Not Reasonable (Today), Edward A. Lee, 6, November, 2012
• Closing the loop with Medical Cyber-Physical Modeling, Rahul Mangharam, 2, November, 2012
• Beyond the Hill of Multicores lies the Valley of Accelerators, Aviral Shrivastava, 30, October, 2012
• Precision Timed Infrastructure: Promoting Time to a First-Class Citizen in System Design, David Broman, Stephen A. Edwards, Edward A. Lee, 26, October, 2012
• Time and Schedulability analysis of Stateflow models, Marco Di Natale, 23, October, 2012
• Enclosing Hybrid Behavior, Walid Taha, 17, October, 2012
• 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
• Beyond Synchrony to Timed Systems, in honor of Paul Caspi, Edward A. Lee, 9, October, 2012
• Introducing Embedded Systems: A Cyber-Physical Systems Approach, Edward A. Lee, 5, October, 2012
• Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems, David Broman, Edward A. Lee, Stavros Tripakis, Martin Torngren, Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, Innsbruck, Austria, 1, 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
• Modeling, Simulating, and Compiling with Timing Semantics, David Broman, October, 2012
• Time for High-Confidence Distributed Embedded Systems, Edward A. Lee, 26, September, 2012
• User interface modelling - Model-based UI design, Hallvard Traetteberg, 18, September, 2012
• Equations, Synchrony, Time, and Modes, Edward A. Lee, 18, September, 2012
• Fast-Lipschitz Optimization, Carlo Fischione, 11, September, 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
• Hybrid Optimal Control for Safety-Critical Systems, Jerry Ding, Humberto Gonzalez, Maryam Kamgarpour, Shankar Sastry, Claire Tomlin, 20, August, 2012
• Ptango: a modular prototyping framework for distributed heterogeneous services, Edward A. Lee, 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 Buildings, Hamsa Balakrishnan, David Culler, Edward A. Lee, Shankar Sastry, Claire Tomlin, 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
• Energy-Efficient Air Traffic Operations, Hamsa Balakrishnan, 20, August, 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
• 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
• Links to Berkeley efforts (PiE, Kickstart, Berkeley Science Connections, SUPERB), Maryam Kamgarpour, Claire Tomlin, David Culler, Shankar Sastry, Edward A. Lee, 20, August, 2012
• Tradeoff exploration between reliability, power consumption, and execution time for embedded systems, Girault Alain, 14, August, 2012
• The use of workflows in the design and implementation of complex experiments in macromolecular crystallography., Sandor Brockhauser, Olof Svensson, Matthew W. Bowler, Max Nanao, Elspeth Gordon, Ricardo M.F. Leal, Alexander Popov, Matthew Gerring, Andrew McCarthy, Andy Gotz, Acta Crystallographica Section D, 68, 8, 975-984, 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
• Static dataflow with access patterns: semantics and analysis, A. Ghosal, R. Limaye, K. Ravindran, S. Tripakis, A. Prasad, G. G. Wang, T. N. Tran, H. Andrade, DAC 2012, 7, June, 2012
• Investigating Communication Infrastructure of Next Generation Air Traffic Management, Pangun Park, Claire Tomlin, 1, June, 2012
• Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages, David Broman, Jeremy G. Siek, EECS Department, University of California, Berkeley, UCB/EECS-2012-173, June, 2012
• Extensible Modeling Languages and Precision Timed Infrastructures for Cyber-Physical Systems, David Broman, 28, May, 2012
• Quadratic Incentives for Noncooperative, Distributed Control, Daniel Calderone, Sam Coogan, Lillian Ratliff, 25, May, 2012
• Precision Timed Infrastructure - Making Time an Engineering Abstraction, David Broman, 22, May, 2012
• A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs, Isaac Liu, Edward A. Lee, Matthew Viele, Guoqiang Gerald Wang, Hugo Andrade, IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM), Toronto, Canada, 29, April, 2012
• Precision Timed (PRET) Machines, Isaac Liu, 24, April, 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
• The Coroutine Model of Computation, Chris Shaver, Edward A. Lee, University of California Berkeley, April, 2012
• Time for High-Confidence Cyber-Physical Systems, Edward A. Lee, 20, March, 2012
• On decidability of schedulability analysis for distributed real-time systems, Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee, 20, March, 2012
• Multi-View Modeling and Pragmatics in 2020, Position Paper on Designing Complex Cyber-Physical Systems, Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann, Proceedings of the 17th International Monterey Workshop on Development, Operation and Management of Large-Scale Complex IT System, to appear., LNCS, 19, March, 2012
• An Overview of the Center for Hybrid and Embedded Software Systems (CHESS), Christopher Brooks, Edward A. Lee, 23, February, 2012
• Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java, Christopher Brooks, Edward A. Lee, 23, February, 2012
• Cyber-Physical Systems, Christopher Brooks, Edward A. Lee, 23, February, 2012
• The Role of Project Management (PM) in Academic Information Technology (IT), Christopher Brooks, 16, February, 2012
• Modeling, Simulation, and Design of Concurrent Real-Time Embedded Systems Using Ptolemy, Edward A. Lee, 7, February, 2012
• Opportunities for Energy Savings in Mobile Devices, Ljung Per, 2, February, 2012
• The Challenges of Embedded System Design, Edward A. Lee, 1, February, 2012
• Precision Timed (PRET) Machines, Edward A. Lee, February, 2012
• Quick Deploy: A distributed systems approach to developer productivity, Adam Cataldo, 24, January, 2012
• Predictable Timing of Cyber-Physical Systems - Future Research Challenges, David Broman, 17, January, 2012
• Distributed Real-Time Software for Cyber-Physical Systems, John Eidson, Edward A. Lee, Slobodan Matic, Sanjit Seshia, Jia Zou, Proceedings of the IEEE (special issue on CPS), 100, 1, 45 - 59, January, 2012
• Modeling Cyber-Physical Systems, Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli, Proceedings of the IEEE (special issue on CPS), 100, 1, 13 - 28, January, 2012
• A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs, Isaac Liu, Edward A. Lee, Matthew Viele, Guoqiang Gerald Wang, Hugo Andrade, IEEE International Symposium on Field-Programmable Custom Computing Machines, 2012
• From Transitions to Executions, Eleftherios Matsikoudis, Edward A. Lee, To appear in Proceedings of the Eleventh Workshop on Coalgebraic Methods in Computer Science (CMCS 2012), 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
• Labelled Execution Systems [DRAFT], Eleftherios Matsikoudis, Edward A. Lee, 2012
• Creating Web Pages, Christopher Brooks, Edward A. Lee, Claudius Ptolemaeus, 348-365, 0.05, Ptolemy Project, 2012

Found 72 publications.