Search results

• Synchronous Reactive Communication: Generalization Implementation and Optimization, Guoqiang Gerald Wang, 9, December, 2008
• Topology Based Control of Biological Genetic Networks, Anil Aswani, Claire Tomlin, Decision and Control, 2008. CDC 2008. 47th IEEE Conference on, 781-786, 9, December, 2008
• Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems, Alessandro D’Innocenzo, Alessandro Abate, Maria D. Di Benedetto, Shankar Sastry, Decision and Control, 2008. CDC 2008. 47th IEEE Conference on, 221-226, 9, December, 2008
• Service Component Architecture (SCA), Luciano Resende, 2, December, 2008
• Reachability Calculations for Automated Aerial Refueling, Jerry Ding, Jonathan Sprinkle, Shankar Sastry, Claire Tomlin, IEEE Conference on Decision and Control, IEEE, 3706-3712, December, 2008
• ThreadedComposite: A Mechanism for Building Concurrent and Parallel Ptolemy II Models, Edward A. Lee, EECS Dept., University of California, Berkeley, UCB/EECS-2008-151, December, 2008
• Process Network in Silicon: A High-Productivity, Scalable Platform for High-Performance Embedded Computing, Mike Butts, 25, November, 2008
• Computer Aided Design of Synthetic Biological Systems Using Standardized Parts, Douglas Densmore, 18, November, 2008
• The Nimrod/K director for the Kepler workflow environment, Colin Endicott, 12, November, 2008
• Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry, Automatica, 44, 11, 2724-2734, November, 2008
• Toward the Predictable Integration of Real-Time COTS Based Systems, Marco Caccamo, 28, October, 2008
• An Automated Mapping of Timed Functional Specification to A Precision Timed Architecture, Shanna-Shaye Forbes, Hugo Andrade, Hiren Patel, Edward A. Lee, 27, October, 2008
• Model Engineering, Edward A. Lee, 21, October, 2008
• Predictable Programming on a Precision Timed Architecture, Hiren Patel, 21, October, 2008
• Predictable Programming on a Precision Timed Architecture, Ben Lickly, Isaac Liu, Sungjun Kim, Hiren Patel, Stephen A. Edwards, Edward A. Lee, Proceedings of International Conference on Compilers, Architecture, and Synthesis from Embedded Systems (CASES), Atlanta, Georgia, Erik R. Altman, ACM, 137-146, 19, October, 2008
• Predictable Programming on a Precision Timed Architecture, Hiren Patel, 17, October, 2008
• Principled Design of Embedded Software, Edward A. Lee, Man-Kit Leung, 14, October, 2008
• High-Confidence Design for Distributed Embedded Systems (HCDDES) Project Overview, Janos Sztipanovits, 14, October, 2008
• Model-based Testing and Verification of Embedded System Implementations, Stephen Boyd, 14, October, 2008
• Demonstration of the Starmac Experimental Platform and Overview of Hybrid Control Design Challenges, Claire Tomlin, Shankar Sastry, 14, October, 2008
• Inertial Control of a Quad-Rotor Helicopter: A Passivity Based Approach, Nicholas Kottenstette, 14, October, 2008
• Saturation-based Scaling Techniques for Symbolic Verification of Hybrid Systems, Andre Platzer, Edmund M. Clarke, 14, October, 2008
• Robust Control Design, Stephen Boyd, 14, October, 2008
• Model-Based Tool Chain for High Confidence Design, Peter Volgyesi, Gabor Karsai, Janos Sztipanovits, 14, October, 2008
• Multimodeling, Edward A. Lee, 3, October, 2008
• Simulation and Implementation of the PTIDES Programming Model, Patricia Derler, Edward A. Lee, Slobodan Matic, Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications (DS-RT '08), 330-333, October, 2008
• Simulation and Implementation of the PTIDES Programming Model, Patricia Derler, Edward A. Lee, Slobodan Matic, Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 330-333, October, 2008
• An Automated Mapping of Timed Functional Specification to A Precision Timed Architecture, Shanna-Shaye Forbes, Hugo Andrade, Hiren Patel, Edward A. Lee, Proceedings of the 12-th IEEE International Symposium on Distributed Simulation and Real Time Applications, October, 2008
• VHDL Code Generation in the Ptolemy II Environment, Jackie Man-Kit Leung, Terry Filiba, Vinayak Nagpal, EECS Department, University of California, Berkeley, UCB/EECS-2008-140, October, 2008
• Model Engineering using Multimodeling, Christopher Brooks, Chihhong Cheng, Thomas Huining Feng, Edward A. Lee, Reinhard von Hanxleden, 30, September, 2008
• Scalable Models Using Model Transformation, Thomas Huining Feng, Edward A. Lee, 29, September, 2008
• Heuristics for Scalable Dynamic Test Generation, Jacob Burnim, Koushik Sen, Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on, 443-446, 15, September, 2008
• Integrating Timing with Data and Space Availability as Firing Rules, Tim Hayles, 9, September, 2008
• Scalable Models Using Model Transformation, Thomas Huining Feng, Edward A. Lee, 1st International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB), September, 2008
• NSF-ITR 2007-2008 Annual Report: Foundations of Hybrid and embedded Systems and Software, Christopher Brooks, Center for Hybrid and embedded Software Systems (CHESS), September, 2008
• Model Engineering using Multimodeling, Christopher Brooks, Chihhong Cheng, Thomas Huining Feng, Edward A. Lee, Reinhard von Hanxleden, 1st International Workshop on Model Co-Evolution and Consistency Management (MCCM '08), September, 2008
• On Computer Science in Systems Biology, Oded Maler, 22, August, 2008
• From Control Loops to Software, Oded Maler, 21, August, 2008
• Timed Automata: Modeling and Analysis, Oded Maler, 20, August, 2008
• Verification for Dummies: A Gentle Introduction to Formal Verification and Hybrid Systems, Oded Maler, 19, August, 2008
• Modular Timed Graph Transformation, Hans Vangheluwe, 6, August, 2008
• Stability Analysis of Switched Systems using Variational Principles, Michael Margaliot, 5, August, 2008
• Disciplined Concurrent Models of Computation for Parallel Software, Edward A. Lee, 3, August, 2008
• Recovering Models of a Four-Wheel Vehicle Using Vehicular System Data, Jonathan Sprinkle, J. Mikael Eklund, Humberto Gonzalez, Esten Ingar Grøtli, Pannag R Sanketi, Michael Moser, Shankar Sastry, University of California, Berkeley, August, 2008
• Buffer Capacity Computation for Throughput Constrained Streaming Applications with Data-Dependent Inter-Task Communication, Maarten Wiggers, 31, July, 2008
• Research Challenges for the Security of Control Systems., Alvaro Cardenas, Saurabh Amin, Shankar Sastry, Proceedings of the 3rd USENIX Workshop on Hot topics in security, USENIX, Article 6, 25, July, 2008
• Component Architectures for Time-Sensitive Systems, Edward A. Lee, 22, July, 2008
• Balancing Expressiveness and Analyzability in Stream Formalisms, Edward A. Lee, 7, July, 2008
• Robust Engine Torque Control by Discrete Event Disturbance Observer, Takashi Nagata, Masayoshi Tomizuka, Proceedings of the 17th World Congress, The International Federation of Automatic Control, 9473-9478, July, 2008
• Universal symbolic execution and its application to likely data structure invariant generation, Yamini Kannan, Koushik Sen, Proceedings of the 2008 international symposium on Software testing and analysis, International Symposium on Software Testing and Analysis, 283-294, July, 2008
• Composing Heterogeneous Reactive Systems, Albert Benveniste, Benoit Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli, ACM Transactions on embedded Computing Systems., 7, 4, 1-36, July, 2008
• Secure Control: Towards Survivable Cyber-Physical Systems, Alvaro Cardenas, Saurabh Amin, Shankar Sastry, First International Workshop on Cyber-Physical Systems, 495-500, 17, June, 2008
• A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs, Girault Alain, 10, June, 2008
• Functional DIF, William Plishker, 5, June, 2008
• Advanced topics in model-based software development, Bernhard Rumpe, 3, June, 2008
• Secure Control: Towards Survivable Cyber-Physical Systems., Alvaro Cárdenas, Saurabh Amin, Shankar Sastry, First International Workshop on Cyber-Physical Systems (WCPS2008)., June, 2008
• Synthesis of Embedded Networks for Building Automation and Control, Alessandro Pinto, Massimiliano D'Angelo, Carlo Fischione, Eelco Scholte, Alberto Sangiovanni-Vincentelli, Proc. of American Control Conference (ACC 08), Seattle, Washington,, June, 2008
• Energy-Optimal Software Partitioning in Heterogeneous Multiprocessor Embedded Systems, Slobodan Matic, Michael Goraczko, Dimitrios Limberopoulos, Bodhi Priyantha, Jie Liu, Feng Zhao, DAC'08, accepted, June, 2008
• A Design Flow for the Development, Characterization, and Refinement of System Level Architectural Services, Douglas Densmore, 15, May, 2008
• Specification and analysis of electronic contracts, Gerado Schneider, 6, May, 2008
• PTIDES: A Programming Model for Distributed Real-Time Embedded Systems, Patricia Derler, Thomas Huining Feng, Edward A. Lee, Slobodan Matic, Hiren Patel, Yang Zhao, Jia Zou, RTSS'08, submitted, May, 2008
• Time is a Resource, and Other Stories, Edward A. Lee, International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), May, 2008
• Partial Evaluation for Optimized Compilation of Actor-Oriented Models, Gang Zhou, University of California, Berkeley, May, 2008
• Cyber Physical Systems: Design Challenges, Edward A. Lee, International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), May, 2008
• Anytime Control Algorithms for Embedded Real-Time Systems, Luca Greco, 29, April, 2008
• Reinventing the Automobile: The Cyber-Physical Challenge, Nady Boules, 21, April, 2008
• Designing Predictable and Robust Systems, Tom Henzinger, 21, April, 2008
• Communication Infrastructure Synthesis and its Application to Cyber Physical Systems: The Intelligent Building Case, Alberto Sangiovanni-Vincentelli, 21, April, 2008
• CPS: A View from the HCSS Agencies, Helen Gill, 21, April, 2008
• Teaching Embedded Systems to Berkeley Undergraduates: EECS124 at Berkeley, Sanjit Seshia, Edward A. Lee, Claire Tomlin, 21, April, 2008
• Cyber Physical Systems: New Challenges for Model-based Design, Janos Sztipanovits, 21, April, 2008
• Making Time Essential in Computation, Edward A. Lee, 21, April, 2008
• Embedded Systems Research in Europe, Philippe Reynaert, 21, April, 2008
• Multiple Viewpoint Contracts in SPEEDS, Roberto Passerone, 21, April, 2008
• CHESS: Building A Cyber-Physical Agenda on Solid Foundations, Jonathan Sprinkle, Shankar Sastry, 21, April, 2008
• When can a UAV get smart with its operator, and say 'NO!'?, Jonathan Sprinkle, Jerry Ding, Shankar Sastry, Claire Tomlin, 15, April, 2008
• Ptolemy II 7.0.1, Edward A. Lee, Christopher Brooks, Thomas Huining Feng, Man-Kit Leung, Teale Fristoe, Adam Cataldo, Elaine Cheong, University of California, Berkeley, 4, April, 2008
• Real-Time Distributed Discrete-Event Execution with Fault Tolerance, Thomas Huining Feng, Edward A. Lee, 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2008), IEEE, 205 - 214, April, 2008
• Automated Distribution Simulation in Ptolemy II, Daniel Lazaro Cuadrado, Aalborg University, April, 2008
• Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains), Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, EECS Department, University of California, Berkeley, UCB/EECS-2008-30, April, 2008
• Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture), Christopher Brooks, Edward A. Lee, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, Xiaojun Liu, EECS Department, University of California, Berkeley, UCB/EECS-2008-29, April, 2008
• Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II), Christopher Brooks, Edward A. Lee, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, Xiaojun Liu, EECS Department, University of California, Berkeley, UCB/EECS-2008-28, April, 2008
• Toward an Effective Execution Policy for Distributed Real-Time Embedded Systems, Thomas Huining Feng, Edward A. Lee, Hiren Patel, Jia Zou, Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 08), Work-in-Progress Session, April, 2008
• Single and Multi-CPU Performance Modeling for Embedded Systems, Trevor Meyerowitz, University of California at Berkeley, April, 2008
• Causality Interfaces for Actor Networks, Ye Zhou, Edward A. Lee, ACM Transactions on Embedded Computing Systems (TECS), 7, 3, 1-35, April, 2008
• Controller Synthesis with Budget Constraints, Krishnendu Chatterjee, Tom Henzinger, Rupak Majumdar, Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings, Magnus Egerstedt and Bud Mishra, HSCC, 72-86, April, 2008
• From Automated Software Testing to Likely Program Invariant Generation, Koushik Sen, 18, March, 2008
• Numerical solution of nonlinear differential equations in musical synthesis, David Yeh, 11, March, 2008
• Model-Checking omega-Regular Properties of Interval Markov Chains, Krishnendu Chatterjee, Tom Henzinger, Koushik Sen, Foundations of Software Science and Computation Structure (FoSSaCS) 2008, Roberto M. Amadio, 302-317, March, 2008
• An Extensible Software Synthesis Framework for Heterogeneous Actor Models, Man-Kit Leung, Edward A. Lee, SLA++P 2008, Model-driven High-level Programming of Embedded Systems, Artist, March, 2008
• Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor, Trevor Meyerowitz, Dominik Langen, Mirko Sauermann, Alberto Sangiovanni-Vincentelli, Design Automation Test Europe, IEEE, March, 2008
• Logical Reliability of Interacting Real-Time Tasks, Krishnendu Chatterjee, Tom Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello, Alberto Sangiovanni-Vincentelli, Design, Automation and Test in Europe, 2008. DATE '08, 909-914, March, 2008
• The Software Engineering of Domain-Specific Modeling Languages: A Survey Through Examples, Ethan Jackson, Institute For Software Integrated Systems (ISIS), ISIS-07-807, March, 2008
• Single and Multi-CPU Performance Modeling for Embedded Systems (Dissertation Talk), Trevor Meyerowitz, 26, February, 2008
• Spine: Software Framework for Wireless Body Sensor Networks, Sameer Iyengar, Alberto Sangiovanni-Vincentelli, 22, February, 2008
• Using Ptolemy II to Re-architect Large C and C++ Programs, Hwayong Oh, Teale Fristoe, 21, February, 2008
• The Center for Hybrid and Embedded Software Systems, Christopher Brooks, Edward A. Lee, 21, February, 2008
• Model Transformation for Systematic Development of Actor Models, Thomas Huining Feng, Edward A. Lee, 21, February, 2008
• Cyber-Physical Systems, Christopher Brooks, Edward A. Lee, 21, February, 2008
• Mapping a Timed Functional Specification to a Precision Timed (PRET) Machine, Shanna-Shaye Forbes, Hiren Patel, Hugo Andrade, Ben Lickly, Isaac Liu, 21, February, 2008
• Specification and Formal Verification of Real Time Systems under Ptolemy II, Chihhong Cheng, Edward A. Lee, 21, February, 2008
• Transitioning Control and Sensing Technologies from Fully-autonomous Driving to Driver Assistance Systems, Humberto Gonzalez, Esten Ingar Grøtli, Todd Templeton, Jan Biermeyer, Jonathan Sprinkle, Shankar Sastry, 21, February, 2008
• Metro II - Design Environment Overview and Case Studies, Douglas Densmore, Qi Zhu, Alessandro Pinto, Trevor Meyerowitz, Alberto Sangiovanni-Vincentelli, 21, February, 2008
• Precision Timed Machine (PRET), Isaac Liu, Ben Lickly, Hiren Patel, 21, February, 2008
• Model-Based Development of Fault-Tolerant Real-Time Systems, Alois Knoll, Christian Buckl, 19, February, 2008
• Transitioning Control and Sensing Technologies from Fully-autonomous Driving to Driver Assistance Systems, Humberto Gonzalez, Esten Ingar Grøtli, Todd Templeton, Jan Biermeyer, Jonathan Sprinkle, Shankar Sastry, AAET: Automation, Assistance, and Embedded Systems for Transportation, Technical University, Braunschweig, 13, February, 2008
• Enhancing the Visual Experience on the Mobile Computing and Communications Platforms, Achin Bowmik, 12, February, 2008
• Inventing and Prototyping Social Devices, Mike Winter, 5, February, 2008
• Metro II Execution Semantics for Mapping, Douglas Densmore, Trevor Meyerowitz, Abhijit Davare, Qi Zhu, Guang Yang, University of California, Berkeley, UCB/EECS-2008-16, February, 2008
• Compositionality in Deterministic Real-Time Embedded Systems, Slobodan Matic, University of California, Berkeley, February, 2008
• A hierarchical coordination language for reliable real-time tasks, Arkadeb Ghosal, 22, January, 2008
• Algorithms for an Autonomous Car, Edwin Olson, 8, January, 2008
• Multimodeling: A Preliminary Case Study, Christopher Brooks, Thomas Huining Feng, Edward A. Lee, Reinhard von Hanxleden, EECS Department, University of California, Berkeley, UCB/EECS-2008-7, January, 2008
• Trading Infinite Memory for Uniform Randomness in Timed Games, Krishnendu Chatterjee, Tom Henzinger, Vinayak Prabhu, EECS Department University of California, Berkeley, UCB/EECS-2008-4, January, 2008
• A Hierarchical Coordination Language for Reliable Real-Time Tasks, Arkadeb Ghosal, EECS Department, University of California, Berkeley, January, 2008
• Cyber Physical Systems: Design Challenges, Edward A. Lee, University of California, Berkeley, EECS Dept., UCB/EECS-2008-8, January, 2008
• Cyber Security: Basic Defenses and Attack Trends, Alvaro Cardenas, Tanya Roosta, Gelareh Taban, Shankar Sastry, Giorgio Franceschetti and Marina Grossi, 4, 73-101, First, Artech House, 2008
• Monotone Piecewise Affine Systems, Anil Aswani, Claire Tomlin, IEEE TAC, 2008
• Markov Set-Chains as Abstractions of Stochastic Hybrid Systems, Alessandro Abate, Alessandro D'Innocenzo, Maria D Di Benedetto, Shankar Sastry, M. Egerstedt and B. Misra, 1, Springer Verlag, 2008
• Trading Infinite Memory for Uniform Randomness in Timed Games, Krishnendu Chatterjee, Tom Henzinger, Vinayak Prabhu, HSCC: Hybrid Systems -- Computation and Control, 2008
• On stability of switched linear hyperbolic conservation laws with reflecting boundaries, Saurabh Amin, Falk Hante, Alexandre Bayen, Magnus Egerstedt and Bud Mishra,, 602-605, Hybrid Systems: Comp, Springer-Verlag, 2008
• CPO semantics of timed interactive actor Networks, Xiaojun Liu, Edward A. Lee, Theoretical Computer Science, 409, 1, 110-125, 2008
• Exponential stability of switched hyperbolic systems in a bounded domain, Saurabh Amin, Falk Hante, Alexandre Bayen, UC Berkeley, 2008
• Timed Parity Games: Complexity and Robustness, Tom Henzinger, Krishnendu Chatterjee, Vinayak Prabhu, FORMATS: Formal Modeling and Analysis of Timed Systems, 2008
• Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry, M. Egerstedt and B. Misra, 598 - 601, Springer Verlag, 2008
• A Platform-Based Design Methodology for the Electronic System Level, Douglas Densmore, Abhijit Davare, VDM Verlag, 2008, 978-3836473149
• Neuro-Dynamic Programming for Probabilistic Reachability of Stochastic Hybrid Systems, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry, Submitted, 2008

Found 127 publications.