Search results

• System identification of hunchback protein patterning in early Drosophila embryogenesis, Anil Aswani, Harendra Guturu, Claire Tomlin, Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference, 7723-7728, 18, December, 2009
• Fuel Efficient Air Traffic Control, Maryam Kamgarpour, Claire Tomlin, John Robinson, 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
• ActionWebs, Hamsa Balakrishnan, David Culler, Edward A. Lee, Shankar Sastry, 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
• Indoor Localization using WiFi & accelerometers, Pranav Shah, Claire Tomlin, 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
• ActionWebs: Energy-efficient Air Transportation Systems, Hamsa Balakrishnan, 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
• Embedded Systems: A Focus on Time, Edward A. Lee, 17, December, 2009
• ActionWebs: Education and Outreach, Kristen Gates, 17, December, 2009
• Action Webs Kickoff: Embedded Networking and Software, David Culler, Jorge Ortiz, 17, December, 2009
• Organizing and Storing Building Data, David Culler, Jorge Ortiz, 17, December, 2009
• Embedded Building Application Stack, Stephen Dawson-Haggerty, David Culler, 17, December, 2009
• Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude, Kyungmin Bae, Peter Csaba Olveczky, Thomas Huining Feng, Stavros Tripakis, ICFEM '09: Proceedings of the 11th International Conference on Formal Engineering Methods, 717-736, 9, December, 2009
• Parallel, Concurrent, and Distributed Software in Cyber-Physical Systems, Edward A. Lee, 8, December, 2009
• Computing Needs Time, Edward A. Lee, 7, December, 2009
• Correctly Composing Components: Ontologies and Modal Behaviors, Edward A. Lee, 2, December, 2009
• Performance Bounds for Constrained Linear Stochastic Control, Yang Wang, 2, December, 2009
• Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems: Project Overview, Janos Sztipanovits, 2, December, 2009
• Robust Hybrid and Embedded Systems Design, Jerry Ding, Jeremy Gillula, Huang Haomiao, Michael Vitus, Claire Tomlin, 2, December, 2009
• Model-based Testing and Verification of Embedded System Implementations, Andre Platzer, Edmund M. Clarke, 2, December, 2009
• Constructive Non-linear Control Design With Applications to Quad-Rotor and Fixed-Wing Aircraft, Nicholas Kottenstette, Joe Porter, 1, December, 2009
• Finite State Machines and Modal Models in Ptolemy II, Edward A. Lee, EECS Department, University of California, Berkeley, UCB/EECS-2009-151, December, 2009
• Accurate Real-Time Reconstruction of Distant Scenes Using Computer Vision: The Recursive Multi-Frame Planar Parallax Algorithm, Todd Templeton, University of California, Berkeley, December, 2009
• Architectures with Repeatable Timing for Cyber-Physical Systems, Edward A. Lee, Stephen A. Edwards, Sungjun Kim, Isaac Liu, Hiren Patel, Martin Schoeberl, 16, October, 2009
• Architectures with repeatable timing for Cyber-Physical Systems, Edward A. Lee, Stephen A. Edwards, Isaac Liu, Sungjun Kim, Hiren Patel, Martin Schoeberl, 16, October, 2009
• Model-Based Code Generation is not a Replacement for Programming, Edward A. Lee, 16, October, 2009
• Reconciling Repeatable Timing with Pipelining and Memory Hierarchy, Edward A. Lee, Stephen A. Edwards, Sungjun Kim, Hiren Patel, Martin Schoeberl, 15, October, 2009
• Introducing Embedded Systems: A Cyber-Physical Approach, Edward A. Lee, 15, October, 2009
• Ensuring Correct Composition of Components using Lattice-based Ontologies, Edward A. Lee, Ben Lickly, Jackie Man-Kit Leung, Thomas Mandl, Beth Osyk, Charles Shelton, Stavros Tripakis, 11, October, 2009
• Scalable Semantic Annotation using Lattice-based Ontologies, Jackie Man-Kit Leung, Thomas Mandl, Edward A. Lee, Beth Osyk, Charles Shelton, Stavros Tripakis, Ben Lickly, 12th International Conference on Model Driven Engineering Languages and Systems, ACM/IEEE, 393-407, 8, October, 2009
• Model-Based Design for Signal Processing Systems, Edward A. Lee, 7, October, 2009
• A Disruptive Computer Design Idea: Architectures with Repeatable Timing, Edward A. Lee, Stephen A. Edwards, Sungjun Kim, Isaac Liu, Hiren Patel, Martin Schoeberl, 6, October, 2009
• A disruptive computer design idea: Architectures with repeatable timing, Edward A. Lee, Stephen A. Edwards, Sungjun Kim, Isaac Liu, Hiren Patel, Martin Schoeberl, 6, October, 2009
• A Disruptive Computer Design Idea: Architectures with Repeatable Timing, Stephen A. Edwards, Sungjun Kim, Edward A. Lee, Isaac Liu, Hiren Patel, Martin Schoeberl, Proceedings of IEEE International Conference on Computer Design (ICCD), IEEE, 4, October, 2009
• On Relational Interfaces, Stavros Tripakis, Ben Lickly, Tom Henzinger, Edward A. Lee, Embedded Software (EMSOFT'09), October, 2009
• Understanding the Physical and Economic Consequences of Attacks Against Control Systems., YuLun Huang, Alvaro Cardenas, Saurabh Amin, Song-Zyun Lin , Hsin-Yi Tsai, Shankar Sastry, International Journal of Critical Infrastructure Protection, 2, 3, 72-83, October, 2009
• Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs, Stavros Tripakis, Dai Bui, Bert Rodiers, Edward A. Lee, UC Berkeley, UCB/EECS-2009-143, October, 2009
• A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis, Stavros Tripakis, Runtime Verification (RV'09), LNCS, Springer, 152-167, September, 2009
• From Boolean to Quantitative System Specifications, Tom Henzinger, 6, August, 2009
• On the Design of Concurrent, Distributed Real-Time Systems, Yang Zhao, University of California, Berkeley, August, 2009
• Challenges for Securing Cyber Physical Systems, Alvaro Cardenas, Saurabh Amin, Bruno Sinopoli, Annarita Giani, Adrian Perrig, Shankar Sastry, Workshop on Future Directions in Cyber-physical Systems Security, DHS, 23, July, 2009
• Time-Critical Networking - Extended Abstract for Invited Presentation, Edward A. Lee, Proceedings of IEEE Photonics Society Summer Topicals, 20, July, 2009
• Classes and inheritance in actor-oriented design, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, ACM Transactions on Embedded Computing Systems (TECS), 8, 4, Article No. 29, July, 2009
• Classes and Inheritance in Actor-Oriented Design, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, ACM Transactions on Embedded Computing Systems (TECS), 8, 4, 29:1--29:26, July, 2009
• The Case for Timing-Centric Distributed Software, Edward A. Lee, Slobodan Matic, Sanjit Seshia, Jia Zou, 22, June, 2009
• The Case for Timing-Centric Distributed Software, Edward A. Lee, Slobodan Matic, Sanjit Seshia, Jia Zou, IEEE International Conference on Distributed Computing Systems Workshops: Workshop on Cyber-Physical Systems, IEEE, 22, June, 2009
• PTIDES on Flexible Task Graph: Real-Time Embedded System Building from Theory to Practice, Jia Zou, Joshua Auerbach, David F. Bacon, Edward A. Lee, Languages, Compilers, and Tools for Embedded Systems (LCTES 2009), Dublin, Ireland, Published in ACM SIGPLAN Notices, 44(7), pp. 31-40, 19, June, 2009
• Beyond Embedded Systems: Integrating Computation, Networking, and Physical Dynamics, Edward A. Lee, 19, June, 2009
• Robust Engine Torque Control by Iterative Learning Control, Takashi Nagata, Masayoshi Tomizuka, Proceedings of the 2009 American Control Conference ACC09, St. Louis, Missouri, 2064-2069, 11, June, 2009
• Graph-theoretic topological control of biological genetic networks, Anil Aswani, Nicholas Boyd, Claire Tomlin, ACC 2009, 1700–1705, 10, June, 2009
• Statistics for Sparse, High-Dimensional, and Nonparametric System Identification, Anil Aswani, Peter Bickel, Claire Tomlin, IEEE ICRA 2009, 2133–2138, 15, May, 2009
• Model Transformation with Hierarchical Discrete-Event Control, Thomas Huining Feng, 6, May, 2009
• Correct and Efficient Implementations of Synchronous Models on Asynchronous Execution Platforms, Stavros Tripakis, Albert Benveniste, Paul Caspi, Claudio Pinello, Alberto Sangiovanni-Vincentelli, Christos Sofronis, Workshop on Exploiting Concurrency Efficiently and Correctly, May, 2009
• On-time Network On-Chip: Analysis and Architecture, Dai Bui, Alessandro Pinto, Edward A. Lee, University of California, Berkeley, UCB/EECS-2009-59, May, 2009
• Model Transformation with Hierarchical Discrete-Event Control, Thomas Huining Feng, University of California, Berkeley, May, 2009
• Computing Needs Time, Edward A. Lee, Communications of the ACM, 52, 5, 70-79, May, 2009
• On Relational Interfaces, Stavros Tripakis, Ben Lickly, Tom Henzinger, Edward A. Lee, UC Berkeley, 8, May, 2009
• Rethinking Security Properties, Threat Models and the Design Space in Sensor Networks : A case study in SCADA systems, Alvaro Cardenas, Tanya Roosta, Shankar Sastry, Ad Hoc Networks, in publication, May, 2009
• Heterogeneous Composition of Models of Computation, Antoon Goderis, Christopher Brooks, Ilkay Altintas, Edward A. Lee, Carol Gobel, Future Generation Computer Systems, 25, 5, 552-560, May, 2009
• Scientific Workflow Design for Mere Mortals, Timothy McPhillips, Shawn Bowers, Daniel Zinn, Bertram Ludaescher, Future Generation Computer Systems, 25, 5, 541-551, May, 2009
• Safe and Secure Networked Control Systems Under Denial-of-Service Attacks., Saurabh Amin, Alvaro Cardenas, Shankar Sastry, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 31-45, 30, April, 2009
• Modeling, Simulation and Analysis of Integrated Building Energy and Control Systems, Michael Wetter, 21, April, 2009
• On the synthesis of correct-by-design embedded control software, Paulo Tabuada, 17, April, 2009
• Taking LabVIEW further into the System Level Design Domain, Kaushik Ravindran, Hugo Andrade, Sadia Malik, Michael Rauser, Guoqiang Gerald Wang, Guang Yang, 16, April, 2009
• Exploring Modeling Pragmatics with Ptolemy and KIELER, Hauke Fuhrmann, Reinhard von Hanxleden, 16, April, 2009
• An integrated approach to managing workflow runs and generating reports in Kepler, Ben Leinfelder, Ilkay Altintas, Derik Barseghian, Daniel Crawl, Matt Jones, Aaron T Schultz, Staggs Debi, 16, April, 2009
• Model Ontologies: Generalizing Type System Ideas to Arbitrary Model, Beth Osyk, Thomas Mandl, Man-Kit Leung, 16, April, 2009
• A Provenance Framework to Capture, Store, Query, and Browse Data Lineage in Kepler, Manish Anand, 16, April, 2009
• PTIDES (Programming Temporally Integrated Distributed Embedded Systems) and PtidyOS, Jia Zou, Slobodan Matic, 16, April, 2009
• Using Actor-based design for IP Sharing, Darryl Koivisto, 16, April, 2009
• Precision Timed (PRET) Machines, Hiren Patel, Ben Lickly, Isaac Liu, 16, April, 2009
• The APES-LESS project: Access Point Event Simulation of Legacy Embedded Software Systems, Stefan Resmerita, Patricia Derler, 16, April, 2009
• Parallel Virtual Machines in Kepler, Daniel Zinn, 16, April, 2009
• Model Transformation with the Ptera Controller, Thomas Huining Feng, 16, April, 2009
• Kepler Project Overview, Status, and Future Directions, Bertram Ludaescher, 16, April, 2009
• Ptolemy Project Vision, Edward A. Lee, 16, April, 2009
• Model Transformation with the Ptera Controller, Thomas Huining Feng, 16, April, 2009
• Model Transformation with the Ptera Controller, Thomas Huining Feng, 16, April, 2009
• Closing Remarks, Edward A. Lee, 16, April, 2009
• Optimizing Comad for growing input data sets, Sean Riddle, Amber Hartman, Timothy McPhillips, Shawn Bowers, David Welker, Bertram Ludaescher, 16, April, 2009
• On-time Network On-Chip: Analysis and Architecture, Dai Bui, Alessandro Pinto, Edward A. Lee, 16, April, 2009
• Retargetable Model-Based Code Generation in Ptolemy II, Man-Kit Leung, Bert Rodiers, Christopher Brooks, Edward A. Lee, 16, April, 2009
• A Precision Timed Architecture for Predictable and Repeatable Timing, Hiren Patel, 16, April, 2009
• Poster Abstract: “PtidyOS: An Operating System based on the PTIDES Programming Model”, Shanna-Shaye Forbes, Jia Zou, Slobodan Matic, Edward A. Lee, 16, April, 2009
• New Width Inference Algorithm, Bert Rodiers, Ben Lickly, 16, April, 2009
• Simulating the Calculus for Sensor Networks in VisualSense, Duarte Vieira, 16, April, 2009
• Timing-aware Exceptions for a Precision Timed (PRET) Target, Ben Lickly, Hiren Patel, Edward A. Lee, 16, April, 2009
• Everyone Virtualizes Everything But Time, Silviu Craciunas, 16, April, 2009
• Modeling Network Lifetime in a WSN using Visual Sense, Ricardo Gonzalez, 16, April, 2009
• A generalized framework for modeling and scheduling heterogeneous dataflow applications, Nimish Sane, 16, April, 2009
• KAMon: A Kepler Module for Runtime Monitoring of Scientific Workflows, Faraaz Sareshwala, 16, April, 2009
• Ptolemy Ptutorial, Christopher Brooks, Isaac Liu, Ben Lickly, Stavros Tripakis, Man-Kit Leung, Thomas Huining Feng, 15, April, 2009
• Embedded system design with the Polychronous paradigm, Albert Benveniste, 14, April, 2009
• Mobile Millennium: using smartphones to monitor traffic in privacy aware environments, Alexandre Bayen, 7, April, 2009
• Fault Tree Analysis for the Design Exploration of Fault Tolerant Automotive Architectures, Mark McKelvin, Alberto Sangiovanni-Vincentelli, SAE World Congress and Exhibition 2009, April, 2009
• Poster Abstract: Timing Instructions - ISA Extensions for Timing Guarantees, IEEE Real-Time and Embedded Technology and Applications Symposium, April, 2009
• Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems, Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler, 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009, IEEE Computer Society, 77-86, April, 2009
• Design as You See FIT: System-Level Soft Error Analysis of Sequential Circuits, Dan Holcomb, 31, March, 2009
• Optimizations of an Application-Level Protocol for Enhanced Dependability in FlexRay, Wenchao Li, 31, March, 2009
• Overview of CHESS (Center for Hybrid and Embedded Software Systems), Edward A. Lee, Claire Tomlin, 30, March, 2009
• CCIT: Accelerating Deployment, J.D. Margulici, 30, March, 2009
• California PATH Overview, James Misener, 30, March, 2009
• Berkeley Institute of Transportation Studies Overview, Samer Madanat, 30, March, 2009
• An introduction to CITRIS: The Center for Information Technology Research in the Interest of Society A California Institute for Science and Innovation, Gary Baldwin, 30, March, 2009
• Implementing Synchronous Models on Distributed Execution Platforms, Stavros Tripakis, 24, March, 2009
• Manycore Vector-Thread Architectures, Christopher Batten, 10, March, 2009
• Uses of Synchronized Clocks in Test and Measurement Systems, Jeff Burch, Adam Cataldo, John Eidson, 3, March, 2009
• Center for Hybrid and Embedded Software Systems (CHESS) Overview, Christopher Brooks, 3, March, 2009
• Checking Equivalence of SPMD Programs Using Non-Interference, Roberto Lublinerman, Stavros Tripakis, EECS Department, University of California, Berkeley, UCB/EECS-2009-42, March, 2009
• The APES-LESS project: Access Point Event Simulation of Legacy Embedded Software Systems, Stefan Resmerita, 17, February, 2009
• New Width Inference Algorithm, Bert Rodiers, Ben Lickly, 12, February, 2009
• A Precision Timed Architecture for Timing Predictability and Repeatability, Hiren Patel, Isaac Liu, Ben Lickly, Edward A. Lee, 12, February, 2009
• The Center for Hybrid and Embedded Software Systems (CHESS), Christopher Brooks, Edward A. Lee, 12, February, 2009
• Timing-aware Exceptions for a Precision Timed (PRET) Target, Ben Lickly, Hiren Patel, 12, February, 2009
• Cyber-Physical Systems, Christopher Brooks, Edward A. Lee, 12, February, 2009
• Model Transformation Using ERG Controller, Thomas Huining Feng, Edward A. Lee, 12, February, 2009
• Model-Based Development of Fault-Tolerant Real-Time Systems, Christian Buckl, 10, February, 2009
• Modular Code Generation from Synchronous Block Diagrams: Modularity vs. Reusability vs. Code Size, Stavros Tripakis, 3, February, 2009
• Simulation and Implementation of the PTIDES Programming Model, Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, February, 2009
• Time-Portable Programming the JAviator in Tiptoe OS, Christoph Kirsch, 13, January, 2009
• Disciplined Message Passing, Edward A. Lee, EECS Dept. University of California Berkeley, January, 2009
• Center for Hybrid and Embedded Software Systems (CHESS) 2009 Prospectus, Edward A. Lee, Center for Hybrid and Embedded Software Systems (CHESS), UC Berkeley EECS Dept., January, 2009
• Poster Abstract: PtidyOS: An Operating System based on the PTIDES Programming Model, Shanna-Shaye Forbes, Jia Zou, Slobodan Matic, Edward A. Lee, Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2009
• Model-Based Detection of Attacks for Process Control Systems, Zong-Syun Lin, Alvaro Cardenas, Saurabh Amin, Yu-Lun Huang, Chi-Yen Huang, Shankar Sastry, 16th ACM Computer and Communications Security Conference, ACM, submitted, 2009
• A model of domain-polymorph component for heterogeneous system design, Mohamed Feredj, Frédéric Boulanger, Aime Mokhoo Mbobi, Journal of Systems and Software (JSS), 82, 1, 112-120, 2009
• Random transceiver networks, P. Balister, B. Bollobas, Adv. in Appl. Probab., 41, 2, 323-343, 2009
• PTIDES on Flexible Task Graph: Real-Time Embedded System Building from Theory to Practice, Jia Zou, Joshua Auerbach, David F. Bacon, Edward A. Lee, University of California, Berkeley, IBM Research, 2009
• CHESS ITR Annual Report 2008-2009: Foundations of Hybrid and Embedded Systems and Software, Shankar Sastry, Center for Hybrid and Embedded Software Systems, 2009

Found 131 publications.