Chess Publications

Commands
Search pubs database

Quick search by ...

Year
	2008 2007 2006 2005 2004 2003
Group
	agv automotive bipeds car certafcs chess chesslocal cps dgc3 hcddes hyper naomi pret ptides ptolemy researchers

Chess Publications

The following links contain papers by Chess faculty and students.

Publications of Principal Investigators

Professor Thomas Henzinger's Publications, (UC Berkeley, EECS)

Professor Edward A. Lee's Publications, (UC Berkeley, EECS)

Professor Alberto Sangiovanni-Vincentelli's Papers

Professor Shankar Sastry's Publications, (UC Berkeley, EECS)

Professor Janos Sztipanovits, (Vanderbilt, Electrical and Computer Engineering)

Other resources

The Chess ITR Proposal has a number of relevant papers in the bibliography.

UCB EECS Department Publications

Team for Research in Ubiquitous Secure Technology (TRUST) Center Publications

Gigascale Silicon Research Center Publications

All Chess papers

2008

Jerry Ding, Jonathan Sprinkle, S. Shankar Sastry, Claire Tomlin. Reachability Calculations for Automated Aerial Refueling, IEEE Conference on Decision and Control, IEEE, (submitted), December, 2008.
Jonathan Sprinkle, J. Mikael Eklund, Humberto Gonzalez, Esten Ingar Grøtli, Pannag R Sanketi, Michael Moser, S. Shankar Sastry. Recovering Models of a Four-Wheel Vehicle Using Vehicular System Data, IEEE Conference on Decision and Control, IEEE, (submitted), December, 2008.
Alvaro Cárdenas, Saurabh Amin, S. Shankar Sastry. Secure Control: Towards Survivable Cyber-Physical Systems., First International Workshop on Cyber-Physical Systems (WCPS2008)., June, 2008.
Alessandro Pinto, Massimiliano D'Angelo, Carlo Fischione, Eelco Scholte, Alberto Sangiovanni-Vincentelli. Synthesis of Embedded Networks for Building Automation and Control, Proc. of American Control Conference (ACC 08), Seattle, Washington,, June, 2008.
Slobodan Matic, Michael Goraczko, Jie Liu, Dimitrios Limberopoulos, Bodhi Priyantha, Feng Zhao. Energy-Optimal Software Partitioning in Heterogeneous Multiprocessor Embedded Systems, DAC'08, accepted, June, 2008.
Edward A. Lee. Cyber Physical Systems: Design Challenges, International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), May, 2008; Invited Paper.
Patricia Derler, Thomas Huining Feng, Edward A. Lee, Slobodan Matic, Hiren Patel, Yang Zhao, Jia Zou. PTIDES: A Programming Model for Distributed Real-Time Embedded Systems, RTSS'08, submitted, May, 2008.
Edward A. Lee. Time is a Resource, and Other Stories, International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), May, 2008; Position statement for panel: "Wrong Assumptions and Neglected Areas in Embedded Research".
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng. Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains), Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2008-30, April, 2008.
Daniel Lazaro Cuadrado. Automated Distribution Simulation in Ptolemy II, PhD thesis, Aalborg University, April, 2008.
Thomas Huining Feng, Edward A. Lee. Real-Time Distributed Discrete-Event Execution with Fault Tolerance, 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2008), April, 2008.
Christopher Brooks, Edward A. Lee, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, Xiaojun Liu. Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture), Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2008-29, April, 2008.
Thomas Huining Feng, Edward A. Lee, Hiren Patel, Jia Zou. Toward an Effective Execution Policy for Distributed Real-Time Embedded Systems, Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 08), Work-in-Progress Session, April, 2008.
Christopher Brooks, Edward A. Lee, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, Xiaojun Liu. Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II), Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2008-28, April, 2008.
Trevor Meyerowitz. Single and Multi-CPU Performance Modeling for Embedded Systems, PhD thesis, University of California at Berkeley, April, 2008.
Krishnendu Chatterjee, Tom Henzinger, Koushik Sen. Model-Checking omega-Regular Properties of Interval Markov Chains, Foundations of Software Science and Computation Structure (FoSSaCS) 2008, Roberto M. Amadio (ed.), 302-317, March, 2008.
Ethan Jackson. The Software Engineering of Domain-Specific Modeling Languages: A Survey Through Examples, Technical report, Institute For Software Integrated Systems (ISIS), ISIS-07-807, March, 2008.
Man-Kit Leung, Edward A. Lee. An Extensible Software Synthesis Framework for Heterogeneous Actor Models, SLA++P 2008, Model-driven High-level Programming of Embedded Systems, Artist, March, 2008; See SLA++P 2008.
Trevor Meyerowitz, Dominik Langen, Mirko Sauermann, Alberto Sangiovanni-Vincentelli. Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor, Design Automation Test Europe, IEEE, March, 2008.
Krishnendu Chatterjee, Tom Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello, Alberto Sangiovanni-Vincentelli. Logical Reliability of Interacting Real-Time Tasks, Design, Automation and Test in Europe, 2008. DATE '08, 909-914, March, 2008.
Douglas Densmore, Trevor Meyerowitz, Abhijit Davare, Qi Zhu, Guang Yang. Metro II Execution Semantics for Mapping, Technical report, University of California, Berkeley, UCB/EECS-2008-16, February, 2008.
Christopher Brooks, Thomas Huining Feng, Edward A. Lee, Reinhard von Hanxleden. Multimodeling: A Preliminary Case Study, Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2008-7, January, 2008.
Arkadeb Ghosal. A Hierarchical Coordination Language for Reliable Real-Time Tasks, PhD thesis, EECS Department, University of California, Berkeley, January, 2008.
Krishnendu Chatterjee, Tom Henzinger, Vinayak Prabhu. Trading Infinite Memory for Uniform Randomness in Timed Games, Technical report, EECS Department University of California, Berkeley, UCB/EECS-2008-4, January, 2008.
Saurabh Amin, Falk Hante, Alexandre Bayen. Exponential stability of switched hyperbolic systems in a bounded domain, Technical report, UC Berkeley, 2008.
Alessandro Abate, Maria Prandini, John Lygeros, S. Shankar Sastry. Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems, Automatica, 2008; To appear.
Alessandro Abate, Alessandro D'Innocenzo, Maria D Di Benedetto, S. Shankar Sastry. Markov Set-Chains as Abstractions of Stochastic Hybrid Systems, M. Egerstedt and B. Misra (eds.), Springer Verlag, 2008; Chapter to appear in "Hybrid Systems: Computation and Control", 2008.
Alessandro Abate, Maria Prandini, John Lygeros, S. Shankar Sastry. Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps, M. Egerstedt and B. Misra (eds.), Springer Verlag, 2008; Chapter to appear in "Hybrid Systems: Computation and Control," 2008 .
Anil Aswani, Claire Tomlin. Topology Based Control of Biological Genetic Networks, CDC, 2008; Submitted.
Krishnendu Chatterjee, Tom Henzinger, Rupak Majumdar. Controller Synthesis with Budget Constraints, HSCC 2008, 2008.
Tom Henzinger, Krishnendu Chatterjee, Vinayak Prabhu. Timed Parity Games: Complexity and Robustness, FORMATS: Formal Modeling and Analysis of Timed Systems, 2008; To appear.
Krishnendu Chatterjee, Tom Henzinger, Vinayak Prabhu. Trading Infinite Memory for Uniform Randomness in Timed Games, HSCC: Hybrid Systems -- Computation and Control, 2008.
Saurabh Amin, Falk Hante, Alexandre Bayen. On stability of switched linear hyperbolic conservation laws with reflecting boundaries, Magnus Egerstedt and Bud Mishra, (eds.), 602-605, Hybrid Systems: Comp, Springer-Verlag, 2008.
Anil Aswani, Claire Tomlin. Monotone Piecewise Affine Systems, IEEE TAC, 2008; Submitted.
Alessandro Abate, Maria Prandini, John Lygeros, S. Shankar Sastry. Neuro-Dynamic Programming for Probabilistic Reachability of Stochastic Hybrid Systems, Submitted, 2008.
Alessandro D’Innocenzo, Alessandro Abate, Maria D. Di Benedetto, S. Shankar Sastry. Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems, Submitted, 2008.

2007

Krishnendu Chatterjee. Stochastic Muller Games are PSPACE-complete, FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 436-448, December, 2007.
Arindam Chakrabarti. A Framework for Compositional Design and Analysis of Systems, PhD thesis, UC Berkeley, December, 2007.
Alessandro Abate, Ashish Tiwari, S. Shankar Sastry. The concept of Box Invariance for biologically-inspired dynamical systems, 46th IEEE Conference on Decision and Control and European Control, 5162-5167, December, 2007.
Saurabh Amin, Alexandre Bayen, Laurent El Ghaoui, S. Shankar Sastry. Robust feasibility for control of water flow in a canal reservoir system, Decision and Control, 2007 46th IEEE Conference on, 1571-1577, December, 2007.
Aaron Ames, Alessandro Abate, S. Shankar Sastry. Sufficient Conditions for the Existence of Zeno Behavior in Nonlinear Hybrid Systems via Constant Approximations, 46th IEEE Conference on Decision and Control and European Control, 4033-4038, December, 2007.
Krishnendu Chatterjee. Markov Decision Processes with Multiple Long-run Average Objectives, FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 473-484, December, 2007.
Alessandro Abate. Probabilistic Reachability for Stochastic Hybrid Systems: Theory, Computations, and Applications, PhD thesis, University of California, Berkeley, November, 2007.
Antoon Goderis, Christopher Brooks, Ilkay Altintas, Edward A. Lee, Carol Goble. Heterogeneous Composition of Models of Computation, Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2007-139, November, 2007.
Edward A. Lee. Position Statement for Panel on Grand Challenges in Embedded Software, EMSOFT 07, Salzburg, Austria, October, 2007.
Alessandro Pinto, Luca Carloni, Alberto Sangiovanni-Vincentelli. A Communication Synthesis Infrastructure for Heterogeneous Networked Control Systems and Its Application to Building Automation and Control, EMSOFT 2007, October, 2007.
A. Abate, Y. Bai, N. Sznajder, C. Talcott, A. Tiwari. Quantitative and Probabilistic Modeling in Pathway Logic, Proceedings of the 7th IEEE International Conference on BioInformatics and BioEngineering, 922-929, October, 2007.
Krishnendu Chatterjee. Stochastic Omega-Regular Games, PhD thesis, EECS Department, University of California, Berkeley, October, 2007.
Ethan Jackson, Janos Sztipanovits. Constructive Techniques for Meta and Model Level Reasoning, Model Driven Engineering Languages and Systems, 405-419, October, 2007.
Alessandro Abate, Maria Prandini, John Lygeros, S. Shankar Sastry. Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis, Proceedings of the 2nd Conference on Foundations of Systems Biology in Engineering, 527-532, September, 2007.
Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer. Classes and Inheritance in Actor-Oriented Design, To appear in ACM Transactions on Embedded Computing Systems, accepted August 23, 2007, August 2007.
Pannag R Sanketi, Carlos Zavala, Mark Wilcutts, Tomoyuki Kaga, Karl Hedrick. MIMO Control for Automotive Coldstart, Fifth IFAC Symposium on Automotive Control, IFAC, August, 2007.
Carlos Zavala, Pannag R Sanketi, Mark Wilcutts, Tomoyuki Kaga, Karl Hedrick. Simplified Models of Engine HC Emissions, Exhaust Temperature and Catalyst Temperature for Automotive Coldstart, Fifth IFAC Symposium for Advances in Automotive Control, IFAC, August, 2007.
Thomas Brihaye, Tom Henzinger, Vinayak Prabhu, Jean-François Raskin. Minimum-time reachability in timed games, ICALP 2007 Automata, Languages and Programming, 825-837, July, 2007.
Dirk Beyer, Arindam Chakrabarti, Tom Henzinger, Sanjit A. Seshia. An Application of Web-Service Interfaces, IEEE International Conference on Web Services (ICWS) 2007, IEEE Computer Society Press, 831-838, July, 2007.
D. Balasubramanian, A. Narayanan, S. Neema, B. Ness, F. Shi, R. Thibodeaux, G. Karsai. Applying a Grouping Operator in Model Transformations, 3rd International Workshop on Graph and Model Transformation (GraMoT), June, 2007; (Submitted).
Stephen A. Edwards, Edward A. Lee. The Case for the Precision Timed (PRET) Machine, 2007 Design Automation Convention, June, 2007.
Jonathan Sprinkle, Christopher Brooks. CHESS 2006-2007 Annual Report, Technical report, Center for Hybrid and Embedded Software Systems, June, 2007.
Ben Upcroft, Michael Moser, Alex Makarenko, David Johnson, Ashod Donikian, Alen Alempijevic, Robert Fitch, Will Uther, Esten Ingar Grøtli, Jan Biermeyer, Humberto Gonzalez, Todd Templeton, Vason P. srini, Jonathan Sprinkle. DARPA Urban Challenge Technical Paper: Sydney-Berkeley Driving Team, Technical report, University of Sydney; University of Technology, Sydney; University of California, Berkeley, June, 2007.
Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto Sangiovanni-Vincentelli. Period Optimization for Hard Real-time Distributed Automotive Systems, Design Automation Conference, 278-283, June, 2007.
Takashi Nagata, Masayoshi Tomizuka. Engine Torque Control Based on Discrete Event Model and Disturbance Observer, ASME International Mechanical Engineering Congress and Exposition (IMECE2007), (submitted), May, 2007; Draft submitted in May 2007, to be presented in Nov. 2007.
Gang Zhou, Man-Kit Leung, and Edward A. Lee. A Code Generation Framework for Actor-Oriented Models with Partial Evaluation, Proceedings of International Conference on Embedded Software and Systems 2007, LNCS 4523, Y.-H. Lee et al. (ed.), 786-799, May, 2007.
Jongho Lee, Mikael Eklund, Shankar Sastry. Group pursuit policies for UUVs using nonlinear model predictive control and reachable sets, Unpublished article, May, 2007.
Kai Chen, Janos Sztipanovits, Sandeep Neema. A Case Study on Semantic Unit Composition, Workshop on Modeling in Software Engineering, ICSE 2007 (MISE 2007), May, 2007.
Antoon Goderis, Christopher Brooks, Ilkay Altintas, Edward A. Lee, Carole Goble. Composing Different Models of Computation in Kepler and Ptolemy II, 2007 Proceedings, International Conference on Computational Science (ICCS), April, 2007.
Ye Zhou. Interface Theories for Causality Analysis in Actor Networks, PhD thesis, University of California, Berkeley, May, 2007.
Haiyang Zheng. Operational Semantics of Hybrid Systems, PhD thesis, University of California, Berkeley, May, 2007.
Edward A. Lee. Computing Foundations and Practice for Cyber-Physical Systems: A Preliminary Report, Technical report, University of California, Berkeley, UCB/EECS-2007-72, May, 2007.
Krishnendu Chatterjee, Tom Henzinger, Nir Piterman. Strategy Logic, Technical report, University of California, Berkeley, UCB/EECS-2007-78, May, 2007.
Yang Zhao, Jie Liu, Edward A. Lee. A Programming Model for Time-Synchronized Distributed Real-Time Systems, 13th IEEE Real Time and Embedded Technology and Applications Symposium, 2007. RTAS '07, 259 - 268, April, 2007.
M. Daigle, I. Roychoudhury, G. Biswas, X. Koutsoukos. Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs, Hybrid Systems: Computation and Control (HSCC 2007), Lecture Notes in Computer Science, vol. 4416, 680-683, April, 2007.
wei zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto Sangiovanni-Vincentelli. Synthesis of task and message activation models in real-time distributed automotive systems, Design, Automation and Test in Europe, April, 2007.
Marco Di Natale, wei zheng, Claudio Pinello, Paolo Giusto, Alberto Sangiovanni-Vincentelli. Optimizing end-to-end latencies by adaptation of the activation events in distributed automotive systems, Real-Time and Embedded Technology and Applications Symposium, April, 2007.
Thomas A. Brihaye, Tom Henzinger, Vinayak Prabhu, Jean-Francois Raskin. Minimum-Time Reachability in Timed Games, Technical report, University of California, Berkeley, UCB/EECS-2007-47, April, 2007.
Sumitra Ganesh, Aaron Ames, Ruzena Bajcsy. Composition of Dynamical Systems for Estimation of Human Body Dynamics, Proceedings of 10th International Conference on Hybrid Systems Computation and Control 2007, Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo (eds.), 702-706, April, 2007.
Nadathur Satish, Kaushik Ravindran, Kurt Keutzer. A Decomposition-based Constraint Optimization Approach for Statically Scheduling Task Graphs with Communication Delays to Multiprocessors, 10th Conference of Design, Automation and Test in Europe (DATE-07), 57-62, April, 2007.
Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, and Sanjit A. Seshia. Automatic Model Generation for Black Box Real-Time Systems, Design, Automation and Test in Europe (DATE) Conference, April, 2007.
Kai Chen, Janos Sztipanovits, Sandeep Neema. Compositional Specification of Behavioral Semantics, Proceedings of Design Automation and Test in Europe Conference (DATE 07), 906-911, April, 2007.
Arkadeb Ghosal, Sri Kanajan, Randall Urbance, Alberto Sangiovanni-Vincentelli. An Initial Study on Monetary Cost Evaluation for the Design of Automotive Electrical Architectures, SAE, April, 2007.
Krishnendu Chatterjee. Optimal Strategy Synthesis for Stochastic Muller Games, FOSSACS 07, March, 2007.
Krishnendu Chatterjee, Tom Henzinger, Nir Piterman. Generalized Parity Games, FOSSACS 07, March, 2007.
Janos Sztipanovits. Model-based Software Development, ESMD-SW Workshop, NASA, March, 2007.
Krishnendu Chatterjee and Thomas A. Henzinger. Assume-guarantee Synthesis, TACAS, March, 2007.
Alberto Sangiovanni-Vincentelli. Quo Vadis SLD: Reasoning about Trends and Challenges of System-Level Design, Proceedings of the IEEE, 95(3):467-506, March 2007.
Arkadeb Ghosal, Sri Kanajan, Randall Urbance, Alberto Sangiovanni-Vincentelli. An Initial Study on Monetary Cost Evaluation for the Design of Automotive Electrical Architectures, SAE 2007 Transactions: Journal of Passenger Cars: Electronic and Electrical Systems, pp. 844-856, March 2007; ISBN: 978-0-7680-1839-4.
D. Balasubramanian, A. Narayanan, S. Neema, F. Shi, R. Thibodeaux, G. Karsai. A Subgraph Operator for Graph Transformation Languages, Proceedings of 6th International Workshop on Graph Transformation and Visual Modeling Techniques, Braga, Portugal, March, 2007.
J. Sztipanovits, J. Bay, L. Rohrbough, S. S. Sastry, D. Schmidt, N. Whitaker, D. C. Winter. ESCHER: A New Technology Transitioning Model, IEEE Computer, 40(3):90-92, March 2007.
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng. Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture), Technical report, University of California, Berkeley, UCB/EECS-2007-8, February, 2007.
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng. Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II), Technical report, University of California, Berkeley, UCB/EECS-2007-7, February, 2007.
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng. Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains), Technical report, University of California, Berkeley, UCB/EECS-2007-9, February, 2007.
Gang Zhou, Man-Kit Leung, Edward A. Lee. A Code Generation Framework for Actor-Oriented Models with Partial Evaluation, Technical report, University of California, Berkeley, UCB/EECS-2007-29, February, 2007.
Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng, Qi Zhu. A Next-Generation Design Framework for Platform-based Design, DVCon 2007, February, 2007.
Krishnendu Chatterjee and Thomas A. Henzinger. Value Iteration, Unpublished article, January, 2007; A Survey Paper submitted for publication in "25 Years in Model Checking".
Edward A. Lee, Slobodan Matic. Determinism in Event-Triggered Distributed Systems with Time Synchronization, Proceedings of ISPCS07, January, 2007.
Albert Benveniste, Benoit Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Composing Heterogeneous Reactive Systems, ACM Transactions on Embedded Computing Systems., January 2007; (To Appear).
Joseph Gerard Makin and Alessandro Abate. A Neural Hybrid-System Model of the Basal Ganglia, Technical report, University of California, Berkeley, UCB/EECS-2007-16, January, 2007.
Eleftherios Matsikoudis and Edward A. Lee. Feedback in Strictly Causal Systems, Unpublished article, January, 2007.
Networked Systems: Realization of Reliable Systems on Unreliable Networked Platforms, Fabrice Kordon and Janos Sztipanovits (eds.), Proceedings of the Sixth Monterey Workshop, LNCS Vol. 4322, January, 2007.
A. Abate, A. D'Innocenzo, G. Pola, M. D. Di Benedetto, S. S. Sastry. The Concept of Deadlock and Livelock in Hybrid Control Systems, A. Bemporad and A. Bicchi and G. Buttazzo (eds.), 628-632, 4416, Springer Verlag, 2007.
Jeff Gray, Juha-Pekka Tolvanen, Steven Kelly, Aniruddha Gokhale, Sandeep Neema, Jonathan Sprinkle. Domain-Specific Modeling, Paul A. Fishwick (ed.), 7, 7-1--7-20, Chapman & Hall/CRC, 2007.
I. Roychoudhury, M. Daigle, G. Biswas, X. Koutsoukos, P.J. Mosterman. A Method for Efficient Simulation of Hybrid Bond Graphs, International Conference on Bond Graph Modeling and Simulation (ICBGM 2007), 177-184, 2007.
Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, lizhi zhong. The Design and Application of Structured Types in Ptolemy II, Technical report, University of California, Berkeley, UCB/EECS-2007-21, 2007.
Alex Kurzhanskiy, Pravin Varaiya. Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems, IEEE Transactions Automatic Control, 52(1):26-38, 2007.
Ethan Jackson, Janos Sztipanovits. Models as Structures: The Structural Semantics of Model-Based Design, Journal of Software and Systems Modeling (SOSYM), 2007; (Submitted).
Manish Kushwaha, Isaac Amundson, Xenofon Koutsoukos, Sandeep Neema, Janos Sztipanovits. OASiS: A Programming Framework for Service-Oriented Sensor Networks, In IEEE/Create-Net COMSWARE 2007, 2007.
Tom Henzinger. Games, time, and probability: Graph models for system design and analysis, Proceedings of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Lecture Notes in Computer Science, Springer, 2007.
Aaron Ames. Homotopy Meaningful Hybrid Model Structures, Michael Farber, R . Ghrist, M. Burger, D . Koditschek (eds.), 121-144, American Mathematical Society, 2007.
Edward A. Lee, Eleftherios Matsikoudis. The Semantics of Dataflow with Firing, Gérard Huet, Gordon Plotkin, Jean-Jacques Lévy, Yves Bertot (eds.), preprint (March 7, 2, Cambridge University Press, 2007; Chapter from "From Semantics to Computer Science: Essays in memory of Gilles Kahn".
Jeff Gray, Juha-Pekka Tolvanen, Steven Kelly, Anirudda Gokhale, Sandeep Neema, Jonathan Sprinkle. Domain-Specific Modeling (in CRC Handbook of Dynamic System Modeling), Paul A. Fishwick (ed.), 7, (in publication), CRC Press, 2007.
Edward A. Lee, Haiyang Zheng. Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems, Proceedings of the 7th ACM & IEEE international conference on Embedded software, Christoph M. Kirsch, Reinhard Wilhelm (eds.), ACM, 114-123, 2007.
S. Amin and A. Abate and M. Prandini and J. Lygeros and S. Sastry. Reachability analysis for controlled discrete time stochastic hybrid systems, J. Hespanha and A. Tiwari (eds.), 49-63, 3927, Springer Verlag, 2007.
A. Abate S. Amin and M. Prandini and J. Lygeros and S. Sastry. Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems, A. Bemporad A. Bicchi and G. Buttazzo (eds.), 4-17, 4416, Springer Verlag, 2007.

2006

Alessandro Abate, Ashish Tiwari and S. Shankar Sastry. The concept of Box Invariance for biologically-inspired dynamical systems, Technical report, University of California, Berkeley, UCB/EECS-2006-185, December, 2006.
Aaron Ames, S. Shankar Sastry. Hybrid Geometric Reduction of Hybrid Systems, 45th IEEE Conference on Decision and Control, 923 - 929, December, 2006.
Adam Cataldo. The Power of Higher-Order Composition Languages in System Design, PhD thesis, University of California, Berkeley, December, 2006.
A. D. Ames and S. Sastry. Hybrid Geometric Reduction of Hybrid Systems, 2006 45th IEEE Conference on Decision and Control, 923-929, December, 2006.
A. Abate, S. Amin, M. Prandini, J. Lygeros, and S. Sastry. Probabilistic Reachability for Safety and Regulation of Controlled Discrete-Time Stochastic Hybrid Systems, Proceedings of the 45th IEEE Conference on Decision and Control, IEEE, December, 2006.
Allen Y. Yang, John Wright, Shankar Sastry, and Yi Ma. Unsupervised Segmentation of Natural Images via Lossy Data Compression, Technical report, University of California, Berkeley, UCB/EECS-2006-195, December, 2006.
Abhijit Davare, Jike Chong, Qi Zhu, Douglas Densmore, Alberto Sangiovanni-Vincentelli. Classification, Customization, and Characterization: Using MILP for Task Allocation and Scheduling, Technical report, University of California, Berkeley, UCB/EECS-2006-166, December, 2006.
Thomas Huining Feng, Edward A. Lee. Incremental Checkpointing with Application to Distributed Discrete Event Simulation, Winter Simulation Conference (WSC 2006), December, 2006.
Stephen A. Edwards, Edward A. Lee. The Case for the Precision Timed (PRET) Machine, Technical report, University of California, Berkeley, UCB/EECS-2006-149, November, 2006.
Edward A. Lee, Stephen Neuendorffer, Xiaojun Liu. Classes and Inheritance in Actor-Oriented Design, Technical report, University of California, Berkeley, UCB/EECS-2006-154, November, 2006.
Ye Zhou, Edward A. Lee. Causality Interfaces for Actor Networks, Technical report, University of California, Berkeley, UCB/EECS-2006-148, November, 2006.
Krishnendu Chatterjee, Tom Henzinger, Nir Piterman. Generalized Parity Games, Technical report, University of California, Berkeley, UCB/EECS-2006-144, November, 2006.
Krishnendu Chatterjee, Rupak Majumdar, Tom Henzinger. Stochastic Limit-Average Games are in EXPTIME, Technical report, University of California, Berkeley, UCB/EECS-2006-143, November, 2006.
Krishnendu Chatterjee, Tom Henzinger. Reduction of Stochastic Parity to Stochastic Mean-payoff Games, Technical report, University of California, Berkeley, UCB/EECS-2006-140, November, 2006.
Edward A. Lee, Stephen A. Edwards. Precision Timed (PRET) Computation in Cyber-Physical Systems, National Workshop on High Confidence Software Platforms for Cyber-Physical Systems: Research Needs and Roadmap, November, 2006.
Ethan Jackson, Janos Sztipanovits. Towards A Formal Foundation For Domain Specific Modeling Languages, Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Sang Lyul Min, Wang Yi (eds.), ACM, 53-63, October, 2006.
G. Karsai, A. Ledeczi, S. Neema, J. Sztipanovits. The Model-Integrated Computing Toolsuite: Metaprogrammable Tools for Embedded Control System Design, Proc. of the IEEE Joint Conference CCA, ISIC and CACSD, Munich, Germany, 50-55, October, 2006.
Isaac Amundson, Manish Kushwaha, Xenofon Koutsoukos, Sandeep Neema, Janos Sztipanovits. Efficient Integration of Web Services in Ambient-aware Sensor Network Applications, 3rd IEEE/CreateNet International Workshop on Broadband Advanced Sensor Networks (BaseNets 2006), October, 2006.
Isaac Amundson, Manish Kushwaha, Xenofon Koutsoukos, Sandeep Neema, Janos Sztipanovits. OASiS: A Service-Oriented Middleware for Pervasive Ambient-Aware Sensor Networks, Pervasive and Mobile Computing Journal on Middleware for Pervasive Computing, October 2006; (Submitted October, 2006).
Gabor Karsai, Anantha Narayanan, Sandeep Neema. On the Correctness of Model Transformations in the Development of Embedded Systems, Proceedings of the 2006 Monterey Workshop, October, 2006; (Paper presented at conference and submitted to publisher).
Abhijit Davare, Jike Chong, Qi Zhu, Douglas Densmore and Alberto Sangiovanni-Vincentelli. An Overlap-based MILP Formulation for Task Allocation and Scheduling, submitted, October, 2006.
Matthew Emerson, Janos Sztipanovits. Techniques for Metamodel Composition, OOPSLA – 6th Workshop on Domain Specific Modeling, 123-139, October, 2006.
M. Emerson, S. Duncavage, J. Mathe, J. Sztipanovits. WiNeSim: A Wireless Network Simulation Tool, Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Sang Lyul Min, Wang Yi (eds.), ACM, October, 2006.
Ye Zhou and Edward A. Lee. A Causality Interface for Deadlock Analysis in Dataflow, Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Sang Lyul Min, Wang Yi (eds.), ACM, 44-52, October, 2006.
Janos Sztipanovits. Towards the Compositional Specification of Semantics for Heterogeneous Domain-Specific Modeling Languages, Workshop on Foundation of Composition, October, 2006.
Edward A. Lee, Yang Zhao. Reinventing Computing for Real Time, Proceedings of the 2006 Monterey Workshop, LNCS 4322, F. Kordon and J. Sztipanovits (eds.), Springer-Verlag Berlin Heidelberg, 1-25, October, 2006.
Edward A. Lee. Cyber-Physical Systems - Are Computing Foundations Adequate?, Position Paper for NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, October, 2006.
Yang Zhao, Edward A. Lee, Jie Liu. Application of Programming Temporally Integrated Distributed Embedded Systems, Proceedings of 2006 IEEE 1588 Conference, October, 2006.
Arkadeb Ghosal, Thomas A. Henzinger, Daniel Iercan, Christoph Kirsch, Alberto Sangiovanni-Vincentelli. A Hierarchical Coordination Language for Interacting Real-Time Tasks, Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT'06), Sang Lyul Min, Wang Yi (eds.), ACM, 132-141, October, 2006.
6th OOPSLA Workshop On Domain-Specific Modeling, Juha-Pekka Tolvanen, Matti Rossi, Jonathan Sprinkle (eds.), University of Jyvaskala, October, 2006.
Krishnendu Chatterjee, Luca de Alfaro and Thomas A. Henzinger. Strategy Improvement for Concurrent Reachability Games, QEST 06, September, 2006.
A. Agrawal, G. Karsai, S. Neema, F. Shi, A. Vizhanyo. The Design of a Language for Model Transformations, Journal on Software and System Modeling, 5(3):261-288, September 2006.
Edward A. Lee. Concurrent Semantics without the Notions of State or State Transitions, Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, LCNS 4202, Asarin, Eugene; Bouyer, Patricia (eds.), 18-31, September, 2006.
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar and Marielle Stoelinga. Quantitative Compositional Pricing, QEST 06, September, 2006.
Bor-Yuh Evan Chang, Matthew Harren, and George C. Necula. Analysis of Low-Level Code Using Cooperating Decompilers, The 13th International Static Analysis Symposium (SAS), Kwangkeun Yi (ed.), 318-335, September, 2006.
Thomas A. Henzinger and Vinayak Prabhu. Timed alternating-time temporal logic, Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, LCNS 4202, Asarin, Eugene; Bouyer, Patricia (eds.), 1-17, September, 2006.
Krishnendu Chatterjee. Concurrent Games with Tail Objectives, CSL 06, September, 2006.
Krishnendu Chatterjee. Nash Equilibrium for Upward-Closed Objectives, CSL 06, September, 2006.
Krishnendu Chatterjee, Tom Henzinger. Algorithms for Omega-Regular Games with Imperfect Information, CSL 06, September, 2006.
Pannag R Sanketi, J. Carlos Zavala, J. K. Hedrick, M. Wilcutts, T. Kaga. A Simplified Catalytic Converter Model for Automotive Coldstart Applications with Adaptive Parameter Fitting, 8th International Symposium on Advanced Vehicle Control, August, 2006.
Mark McKelvin, Claudio Pinello, Sri Kanajan, Alberto Sangiovanni-Vincentelli. Model-Based Design of Heterogeneous Systems for Fault Tree Analysis, 24th International System Safety Conference, Rodney J. Simmons, Ph.D., Norman J. Gauthier (eds.), System Safety Society, 400-409, August, 2006.
Shamik Bandyopadhyay. Automated Memory Allocation of Actor Code and Data Buffer in Heterochronous Dataflow Models to Scratchpad Memory, Master's thesis, University of California, Berkeley, August, 2006.
Krishnendu Chatterjee, Tom Henzinger. Strategy Improvement for Stochastic Rabin and Streett Games, CONCUR 2006 - Concurrency Theory, 17th International Conference, Christel Baier and Holger Hermanns (eds.), 375-389, August, 2006.
Takashi Nagata, Hwan Hur, Masayoshi Tomizuka. Model-Based Control for Smooth Gear Shifting by Engine-AT Collaboration, 8th International Symposium on Advanced Vehicle Control (AVEC '06), 635-640, August, 2006.
Xiaojun Liu, Eleftherios Matsikoudis, and Edward A. Lee. Modeling Timed Concurrent Systems, CONCUR 2006 - Concurrency Theory, 17th International Conference, Christel Baier and Holger Hermanns (eds.), 1-15, August, 2006.
Tom Henzinger, Joseph Sifakis. The embedded systems design challenge, Proceedings of the 14th International Symposium on Formal Methods (FM), Lecture Notes in Computer Science, Springer, August, 2006.
Krishnendu Chatterjee, Thomas A. Henzinger and Nir Piterman. Algorithms for Buchi Games, GDV 06, August, 2006.
Qi Zhu, Abhijit Davare and Alberto Sangiovanni-Vincentelli. A Semantic-Driven Synthesis Flow for Platform-Based Design, submitted to Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'06), July, 2006.
Adam Cataldo, Edward Lee, Xiaojun Liu, Eleftherios Matsikoudis, and Haiyang Zheng. A Constructive Fixed-Point Theorem and the Feedback Semantics of Timed Systems, Workshop on Discrete Event Systems, July, 2006.
Aaron Ames, Robert Gregg, Eric D.B. Wendel, S. Shankar Sastry. Towards the Geometric Reduction of Controlled Three-Dimensional Bipedal Robotic Walkers, 3rd Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, July, 2006.
A. Abate, M. Chen and S. Sastry. Analysis of an Implementable Application Layer Scheme for Flow Control over Wireless Networks, Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems, July, 2006.
A. D. Ames, R. D. Gregg, E. D. B. Wendel and S. Sastry. Towards the Geometric Reduction of Controlled Three-Dimensional Robotic Bipedal Walkers, Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, July, 2006.
A. Abate, A. Ames and S. Sastry. Error Bounds Based Stochastic Approximations and Simulations of Hybrid Dynamical Systems, Proceedings of the 25th American Control Conference, June, 2006.
Kai Chen, Janos Sztipanovits, Sandeep Neema. Compositional Specification of Behavioral Semantics, Technical report, Institute For Software Integrated Systems (ISIS), ISIS-06-705, June, 2006.
Aaron Ames, Haiyang Zheng, Robert Gregg, S. Shankar Sastry. Is there Life after Zeno? Taking Executions Past the Breaking (Zeno) Point, American Control Conference, June, 2006.
Shinjiro Kakita, Yosinori Watanabe, Douglas Densmore, Abhijit Davare, Alberto Sangiovanni-Vincentelli. Functional Model Exploration for Multimedia Applications via Algebraic Operators, ACSD 2006 - Sixth International Conference on Application of Concurrency to System Design, 229-238, June, 2006.
Krishnendu Chatterjee, Laurent Doyen, Tom Henzinger, Jean-Francois Raskin. Algorithms for Omega-Regular Games with Incomplete Information, Technical report, University of California, Berkeley, UCB/EECS-2006-89, June, 2006.
A. D. Ames and S. Sastry. Hybrid Cotangent Bundle Reduction of Simple Hybrid Mechanical Systems with Symmetry, American Control Conference, June, 2006.
Aaron Ames, S. Shankar Sastry. Hybrid Routhian Reduction of Lagrangian Hybrid Systems, American Control Conference, June, 2006.
Aaron Ames, S. Shankar Sastry. Hybrid Routhian Reduction of Lagrangian Hybrid Systems, American Control Conference, June, 2006.
Aaron Ames, S. Shankar Sastry. Hybrid Cotangent Bundle Reduction of Simple Hybrid Mechanical Systems with Symmetry, American Control Conference, June, 2006.
A. Abate and A. Tiwari. Box Invariance of hybrid and switched systems, Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ifac, June, 2006.
Aaron Ames, Robert Gregg, Haiyang Zheng, S. Shankar Sastry. Is There Life After Zeno? Taking Executions past the Breaking (Zeno) Point, 2007 American Control Conference, ACS, June, 2006; Presented in conjunction with BEARS 2006.
Aaron Ames, Haiyang Zheng, Robert Gregg, S. Shankar Sastry. Is there Life after Zeno? Taking Executions Past the Breaking (Zeno) Point, American Control Conference, June, 2006.
A. Abate, A. Ames and S. Sastry. A-Priori Detection of Zeno Behavior in Communication Networks Modeled as Hybrid Systems, Proceedings of the 25th American Control Conference, June, 2006.
P.R. Sanketi, J.C. Zavala and J.K. Hedrick. Automotive engine hybrid modelling and control for reduction of hydrocarbon emissions, International Journal of Control, 79(5):449-464, May 2006.
Arkadeb Ghosal, Thomas A. Henzinger, Daniel Iercan, Christoph Kirsch and Alberto L. Sangiovanni-Vincentelli. Hierarchical Timing Language, Technical report, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-20, May, 2006.
William Plishker and Kurt Keutzer. Automated Mapping from a Domain Specific Language to a Commercial Embedded Multiprocessor, Unpublished article, May, 2006; Submitted to CODES 2006.
Scott Weber, Kaushik Ravindran, Andrew Mihal and Kurt Keutzer. Accelerating Applications Using TIPI Sub-RISC Processing Elements, Unpublished article, May, 2006.
Xiaojun Liu and Edward A. Lee. COP Semantics of Timed Interactive Actor Networks, Technical report, EECS Department, UC Berkeley, 67, May, 2006.
Adam Cataldo, Elaine Cheong, Thomas Huining Feng, Edward A. Lee and Andrew Mihal. A Formalism for Higher-Order Composition Languages that Satisfies the Church-Rosser Property, Technical report, EECS Dept., University of California, Berkeley, 48, May, 2006.
Jongho Lee. New real-time embedded software for an autonomous helicopter system using Giotto, Master's thesis, UC Berkeley, May, 2006.
Edward A. Lee. The Problem with Threads, IEEE Computer, 39(5):33-42, May 2006.
Jonathan Sprinkle, Tracey Richards. Chess 2006 Annual Report, Technical report, Chess, May, 2006.
Xiaojun Liu, Eleftherios Matsikoudis and Edward A. Lee. Modeling Timed Concurrent Systems using Generalized Ultrametrics, Technical report, EECS Department, UC Berkeley, May, 2006.
Elaine Cheong, Edward A. Lee, Yang Zhao. Joint Modeling and Design of Wireless Networks and Sensor Node Software, Technical report, University of California, Berkeley, UCB/EECS-2006-150, April, 2006.
Jike Chong, Abhijit Davare, Kelvin Lwin. Concurrent Embedded Design for Multimedia: JPEG encoding on Xilinx FPGA Case Study, Technical report, UC Berkeley, April, 2006.
Haibo Zeng, Abhijit Davare, Alberto Sangiovanni-Vincentelli, Sampada Sonalkar, Sri Kanajan, Claudio Pinello. Design Space Exploration of Automotive Platforms in Metropolis, Society of Automotive Engineers Congress, April, 2006.
Huining Thomas Feng and Edward A. Lee. Incremental Checkpointing with Application to Distributed Discrete Event Simulation, Technical report, EECS Dept., University of California Berkeley, 37, April, 2006.
Thomas Henzinger, Slobodan Matic. An Interface Algebra for Real-time Components, Proceedings of RTAS 2006, 253-263, April, 2006.
Krishnendu Chatterjee and Thomas A. Henzinger. Finitary Winning in \omega-Regular Games, TACAS, March, 2006.
Alessandro Pinto, Luca P. Carloni, Roberto Passerone and Alberto Sangiovanni-Vincentelli. Interchange Formats for Hybrid Systems: Abstract Semantics, Hybrid Systems: Computation and Control, Joao Hespanha and Ashish Tiwari (eds.), 491-506, March, 2006.
Hwan Hur, Takashi Nagata, Masayoshi Tomizuka. Model-Based Optimal Gear Shift Pattern Scheduling and Smooth Gear Shifting Control, Steuerung und Regelung von Fahrzeugen und Motoren - AUTOREG 2006, VDI-Berichte Nr. 1931, 2006, VDI Wissensforum, 303-312, March, 2006.
S. Amin, A. Abate, M. Prandini, J. Lygeros, and S. Sastry. Reachability Analysis of Controlled Discrete-Time Stochastic Hybrid Systems, Hybrid Systems: Computation and Control, Proceedings of the 9th International Workshop, Santa Barbara, CA, vol. 3927 of Lecture Notes in Computer Science, J. Hespanha and A. Tiwari (eds.), Springer-Verlag, pp. 49-63, March, 2006.
James Adam Cataldo and Edward A. Lee. Composition Languages, Technical report, EECS Dept., University of California, Berkeley, 24, March, 2006; Found at: http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-24.pdf.
Guang Yang, Xi Chen, Felice Balarin, Harry Hsieh, Alberto Sangiovanni-Vincentelli. Communication and Co-Simulation Infrastructure for Heterogeneous System Integration, Design Automation and Test in Europe, March, 2006.
Abhijit Davare, Qi Zhu, Alberto Sangiovanni-Vincentelli. A Platform-based Design Flow for Kahn Process Networks, Technical report, UC Berkeley, 2006-30, March, 2006.
Krishnendu Chatterjee and Thomas A. Henzinger. Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games, STACS, February, 2006.
Krishnendu Chatterjee, Rupak Majumdar and Thomas A. Henzinger. Markov Decision Processes with Multiple Objectives, STACS, February, 2006.
Elaine Cheong, Edward A. Lee, Yang Zhao, Christopher Brooks. Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks, Technical report, EECS Dept. UC Berkeley, 15, February, 2006; Presented in conjunction with BEARS 2006.
Krishnendu Chatterjee, Luca de Alfaro and Thomas A. Henzinger. The Complexity of Quantitative Concurrent Parity Games, SODA, January, 2006.
Krishnendu Chatterjee, Thomas A. Henzinger and Marcin Jurdzinski. Games with Secure Equilibria, Theoretica Computer Science, January 2006.
Edward A. Lee and Haiyang Zheng. HyVisual: A Hybrid System Modeling Framework Based on Ptolemy II, IFAC Conference on Analysis and Design of Hybrid Systems, January, 2006; the right ball transfers its momentum to the middle ball, and then, without any time elapsing, the middle ball transfers its momentum to the left ball. The two events (state transitions in the state machine at the middle left)are simultaneous but ordered. Other initial conditions can be chosen where two simultaneous events are unordered (e.g., starting with two balls appropriately displaced). HyVisual allows a model to permit nondeterministic choice of enabled transitions.
Alex A. Kurzhanskiy, Pravin Varaiya. Ellipsoidal Toolbox, Technical report, EECS, UC Berkeley, January, 2006.
Edward A. Lee. The Problem with Threads, Technical report, EECS Dept., University of California, Berkeley, 1, January, 2006.
A. D. Ames and S. Sastry. Hybrid Lagrangian and Hamiltonian Reduction of Simple Hybrid Systems, Unpublished article, January, 2006.
James Adam Cataldo, Edward A. Lee, Xiaojun Liu, Eleftherios Dimitrios Matsikoudis and Haiyang Zheng. A Constructive Fixed-Point Theorem and the Feedback Semantics of Timed Systems, Technical report, EECS Dept. University of California, Berkeley, 4, January, 2006.
A. Abate, A. D. Ames, and S. S. Sastry. Stochastic Approximations of Hybrid Systems, Proc. 24th IEEE American Control Conference, Portland, OR, 2005, January, 2006.
A. Abate, A. D. Ames, and Shankar S. Sastry. A-Priori Detection of Zeno Behavior in Communication Networks Modeled as Hybrid Systems, Proc. 25th IEEE American Control Conference, Minneapolis, MN, Jun. 2006., January, 2006.
A. Abate, A. D. Ames, and S. Sastry. Error Bounds Based Stochastic Approximations and Simulations of Hybrid Dynamical Systems, Proc. 25th IEEE American Control Conference, Minneapolis, MN, Jun. 2006., January, 2006.
Haiyang Zheng. Simulating Zeno Hybrid Systems Beyond Their Zeno Points, Technical report, UC Berkeley, January, 2006.
Luca P. Carloni, Roberto Passerore, Alessandro Pinto and Alberto Sangiovanni-Vincentelli. Languages and Tools for Hybrid Systems Design, Foundations and Trends in Design Automation, 1(1):1-204, January 2006.
A. D. Ames, P. Tabuada and S. Sastry. On the Stability of Zeno Equilibria, 34-48, Lecture Notes in Com, 3927, Springer-Verlag, 2006.
Tivadar Szemethy, Gabor Karsai. PML: a Language for Platform Modeling, Electronic Communications of the EASST, 4(2006), 2006.
A. Narayanan, G. Karsai. Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations, Electronic Communications of the EASST, 4(2006), 2006.
Tivadar Szemethy. Domain-Specific Models, Model Analysis, Model Transformations, PhD thesis, Vanderbilt University, 2006.
Haiyang Zheng, Edward A. Lee and Aaron D. Ames. Beyond Zeno: Get on with It!, Joao Hespanha, Ashish Tiwari (eds.), 568-582, 3927, Springer Berlin/Heidelberg, 2006; From "Hybrid Systems: Computation and Control, Proceedings". 3927, ISBN: 3-540-33170-0.
Matthew Emerson, Sandeep Neema, Janos Sztipanovits. Handbook of Real-Time and Embedded Systems, Insup Lee, Joseph Leung, Sang H. Son (eds.), CRC Press, 2006; ISBN: 1584886781.

2005

Jonathan Sprinkle, Aaron D. Ames, Alessandro Pinto, Haiyang Zheng, S. Shankar Sastry. On the Partitioning of Syntax and Semantics For Hybrid Systems Tools, 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC'05), IEEE Controls Society, 4694-4699, December, 2005.
Krishnendu Chatterjee and Thomas A. Henzinger. Semi-perfect Information Games, FSTTCS, December, 2005.
A. D. Ames, A. Abate and S. Sastry. Sufficient Conditions for the Existence of Zeno Behavior, IEEE Conference on Decision and Control, December, 2005.
Xiaojun Liu. Semantic Foundation of the Tagged Signal Model, PhD thesis, University of California, Berkeley, December, 2005.
Slobodan Matic, Thomas Henzinger. Trading End-to-End Latency for Composability, Proceedings of RTSS 2005, 99-110, December, 2005.
Elaine Cheong, Edward A. Lee, and Yang Zhao. Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks, Proceedings of the Third ACM Conference on Embedded Networked Sensory Systems, ACM, November, 2005.
Pannag R Sanketi, J. K. Hedrick, Tomoyuki Kaga. A Simplified Catalytic Converter Model for Automotive Coldstart Control Applications, Proceedings of 2005 ASME International Mechanical Engineering Congress and Exposition (IMECE2005), November, 2005; Orlando, Florida USA.
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman and Rupak Majumdar. Verifying Quantitative Properties Using Bound Functions, CHARME, 50--64, October, 2005.
5th OOPSLA Workshop on Domain-Specific Modeling (DSM'05), Juha-Pekka Tolvanen, Jonathan Sprinkle, Matti Rossi (eds.), Computer Science and Information System Reports, Technical Reports, TR-36, University of Jyv�skyl�, Finland, October, 2005.
A. D. Ames, A. Sangiovanni-Vincentelli and S. Sastry. Homogenous Semantic Preserving Deployments of Heterogenous Networks of Embedded Systems, Workshop on Networked Embedded Sensing and Control, October, 2005.
A. D. Ames, A. Sangiovanni-Vincentelli and S. Sastry. Homogeneous Semantics Preserving Deployments of Heterogeneous Networks of Embedded Systems, Workshop on Networked Embedded Sensing and Control, October, 2005.
Edward A. Lee. Building Unreliable Systems out of Reliable Components: The Real Time Story, Technical report, EECS Dept., University of California, Berkeley, 5, October, 2005.
Yujia Jin, Nadathur Satish, Kaushik Ravindran, Kurt Keutzer. An automated exploration framework for FPGA-based soft multiprocessor systems, Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis CODES+ISSS '05, ACM Press (ed.), 273 - 278, September, 2005.
E. Wandeler, J.W. Janneck, E.A. Lee, L. Thiele. Counting Interface Automata and their Application in Static Analysis of Actor Models, 3rd International Conference on Software Engineering and Formal Methods - SEFB 2005, SEFM 2005, September, 2005.
J. Mikael Eklund, Thomas Risgaard Hansen, Jonathan Sprinkle, S. Shankar Sastry. Information Technology for Assisted Living at Home: Building a Wireless Infrastructure for Assisted Living, 27th Annual International Conference of the IEEE Engineering In Medicine and Biology Society (EMBS), 3931-3934, September, 2005.
Matthew Harren and George C. Necula. Using Dependent Types to Certify the Safety of Assembly Code, Static Analysis Symposium (SAS), Springer-Verlag LNCS, 155-170, September, 2005; Available at http://www.cs.berkeley.edu/~matth/papers/sas05.pdf.
Jie Liu, Elaine Cheong, and Feng Zhao. Semantics-Based Optimization Across Uncoordinated Tasks in Networked Embedded Systems, 5th ACM Conference on Embedded Software (EMSOFT 2005), EMSOFT '05, September, 2005.
Abhijit Davare, Qi Zhu, John Moondanos, Alberto Sangiovanni-VIncentelli. JPEG Encoding on the Intel MXP5800: A Platform-Based Design Case Study, ESTIMedia 2005: 3rd Workshop on Embedded Systems for Real-time Multimedia, September, 2005.
Jonathan Sprinkle, Aaron D. Ames, J. Mikael Eklund, Ian Mitchell, S. Shankar Sastry. Online Safety Calculations for Glideslope Recapture, Innovations in Systems and Software Engineering, 1(2):157-175, September 2005; This was an invited paper, and was published without peer review.
Thomas A. Henzinger, Rupak Majumdar, and Vinayak Prabhu. Quantifying similarities between timed systems., Proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Lecture Notes in Computer Science 3829, Springer, 2005, 226-241, September, 2005.
Edward A. Lee, Haiyang Zheng, Ye Zhou. Causality Interfaces and Compositional Causality Analysis, Foundations of Interface Technologies (FIT), CONCUR 2005, ENTCS TBD, August, 2005.
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger. An Interface Formalism for Web Services, Foundations of Interface Technologies (FIT), 2005, August, 2005.
Krishnendu Chatterjee. Two-player Nonzero-sum \omega-Regular Games, CONCUR, August, 2005.
J. Mikael Eklund, Ruzena Bajcsy, Jonathan Sprinkle, Gregory V. Simpson. Computing Inverse MEG Signals in the Brain, 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity, 332-335, August, 2005.
Kaushik Ravindran, Nadathur Satish, Yujia Jin, Kurt Keutzer. An FPGA-Based Soft Multiprocessor System for IPv4 Packet Forwarding, Proceedings of the 15th International Conference on Field Programmable Logic and Applications (FPL-05), 487-492, August, 2005.
Pannag R Sanketi, J. Carlos Zavala, J. K. Hedrick. Dynamic Surface Control of Engine Exhaust Hydrocarbons and Catalyst Temperature for Reduced Coldstart Emissions, Proc. of International Federation of Automatic Control (IFAC) Conference, July, 2005; Prague, Czech Rep.
Y. Xiong, E.A. Lee, X. Liu, Y. Zhao, L.C. Zhong. The Design and Application of Structured Types in Ptolemy II, IEEE Int. Conf. on Granular Computing, Grc 2005, July, 2005.
Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala and Rupak Majumdar. Counterexample-guided Planning, UAI, July, 2005.
Krishnendu Chatterjee, Luca de Alfaro and Thomas A. Henzinger. The Complexity of Stochastic Rabin and Streett Games, ICALP, July, 2005.
Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu, and Yang Zhao. VisualSense: Visual Modeling for Wireless and Sensor Network Systems, Technical report, EECS Dept., UC Berkeley, 25, July, 2005.
C. Brooks, A. Cataldo, E.A. Lee, J. Liu, X.Liu, S. Neuendorffer, H. Zheng. HyVisual: A Hybrid System Visual Modeler, Technical report, EECS Dept., UC Berkeley, July, 2005.
C. Brooks, E.A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, H. Zheng (eds.). Heterogeneous Concurrent Modeling and Design in Java, (Volume 1, Introduction to Ptolemy II), Technical report, EECS Dept., UC Berkeley, 21, July, 2005.
C. Brooks, E.A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, H. Zheng (eds.). Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture), Technical report, EECS Dept., UC Berkeley, 22, July, 2005.
C. Brooks, E.A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, H. Zheng (eds.). Heterogeneous Concurrent Modling and Design in Java (Volume 3: Ptolemy II Domains), Technical report, EECS Dept., UC Berkeley, 23, July, 2005.
Xi Chen, Abhijit Davare, Harry Hsieh, Alberto Sangiovanni-Vincentelli, Yosinori Watanabe. Simulation Based Deadlock Analysis for System Level Designs, 42nd Annual Design Automation Conference, 260-265, June, 2005.
Arkadeb Ghosal, J. Carlos Zavala J., Marco A. A. Sanvido and J. Karl Hedrick. Implementation of AFR Controller in an Event-driven Real Time Language, 2005 American Control Conference, June, 2005.
J. Mikael Eklund, Jonathan Sprinkle, S. Shankar Sastry. Implementing and Testing a Nonlinear Model Predictive Tracking Controller for Aerial Pursuit Evasion Games on a Fixed Wing Aircraft, Proceedings of American Control Conference (ACC) 2005, 1509-1514, June, 2005.
Krishnendu Chatterjee, Thomas A. Henzinger and Marcin Jurdzinski. Mean-Payoff Parity Games, LICS 05, June, 2005.
Jonathan Sprinkle, J. Mikael Eklund, S. Shankar Sastry. Deciding to Land a UAV Safely in Real Time, Proceedings of American Control Conference (ACC) 2005, 3506-3511, June, 2005.
Thomas Henzinger, Christoph Kirsch, Slobodan Matic. Composable Code Generation for Distributed Giotto, Proceedings of LCTES 2005, 21-30, June, 2005.
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger. Web Service Interfaces, Proceedings of the 14th World Wide Web Conference (WWW) 2005, 148-159, May, 2005.
Pannag Raghunath Sanketi. Nonlinear Control Techniques to Reduce Automotive SI Engine Coldstart Hydrocarbon Emissions, Master's thesis, University of California at Berkeley, May, 2005.
A. Abate, M. Chen, and S. Sastry. New Congestion Control Schemes over Wireless Networks: Delay Sensitivity Analysis and Simulations, Proc. 16th IFAC World Congress, Prague, CZ, Jul. 2005, January, 2005.
M. Chen, A. Abate, and S. Sastry. New Congestion Control Schemes over Wireless Networks: Stability Analysis, Proc. 16th IFAC World Congress, Prague, CZ, Jul. 2005, January, 2005.

2004

Stephen Neuendorffer. Actor-Oriented Metaprogramming, PhD thesis, University of California, Berkeley, December, 2004.
A. Abate, L. El Ghaoui. Robust Model Predictive Control through Adjustable Variables: An Application to Path Planning, Proc. 43rd IEEE Conference on Decision and Control, The Bahamas, Dec. 2004, January, 2004.
L. Shi, A. Abate, S. Sastry. Optimal Control for a class of Stochastic Hybrid Systems, Proc. 43rd IEEE Conference on Decision and Control, The Bahamas, Dec. 2004., January, 2004.
A. Abate, L. Shi, S. Simic, S. S. Sastry. A stability criterion for Stochastic Hybrid Systems, Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems, Leuven, Jul. 2004, January, 2004.

2003

Shankar Sastry and The Chess Faculty. Chess Project Proposal, Technical report, The Chess Center, January, 2003.

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.

You are not logged in