Search results

• Diesel Engine ECU Overview Ptolemy Ideas, Thomas Mandl, 12, December, 2006
• Discrete Event Models: Getting the Semantics Right, Edward A. Lee, 4, December, 2006
• Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis, A. Abate, J. Lygeros, S. Sastry, December, 2006
• The Power of Higher-Order Composition Languages in System Design, Adam Cataldo, University of California, Berkeley, December, 2006
• Hybrid Geometric Reduction of Hybrid Systems, Aaron Ames, Shankar Sastry, 2006 45th IEEE Conference on Decision and Control, 923-929, December, 2006
• Classification, Customization, and Characterization: Using MILP for Task Allocation and Scheduling, Abhijit Davare, Jike Chong, Qi Zhu, Douglas Densmore, Alberto Sangiovanni-Vincentelli, University of California, Berkeley, UCB/EECS-2006-166, December, 2006
• Hybrid Geometric Reduction of Hybrid Systems, Aaron Ames, Shankar Sastry, 45th IEEE Conference on Decision and Control, 923 - 929, December, 2006
• Probabilistic Reachability for Safety and Regulation of Controlled Discrete-Time Stochastic Hybrid Systems, A. Abate, S. Amin, M. Prandini, J. Lygeros, S. Sastry, Proceedings of the 45th IEEE Conference on Decision and Control, IEEE, December, 2006
• The concept of Box Invariance for biologically-inspired dynamical systems, Alessandro Abate, Ashish Tiwari, Shankar Sastry, University of California, Berkeley, UCB/EECS-2006-185, December, 2006
• Incremental Checkpointing with Application to Distributed Discrete Event Simulation, Thomas Huining Feng, Edward A. Lee, Winter Simulation Conference (WSC 2006), December, 2006
• Unsupervised Segmentation of Natural Images via Lossy Data Compression, Allen Yang, John Wright, Shankar Sastry, Yi Ma, University of California, Berkeley, UCB/EECS-2006-195, December, 2006
• The Case for Precision Timed (PRET) Machines, Edward A. Lee, 30, November, 2006
• Graphical System Design: Bringing Embedded Design to the Masses in Science and Engineering, Hugo Andrade, Zach Nelson, 28, November, 2006
• Dynamical constrained Impulse system analysis through viability approach and applications., Patrick Saint-Pierre, 21, November, 2006
• Concurrency Demands New Foundations for Computing, Edward A. Lee, 16, November, 2006
• SHIM: A Scheduling-Independent Concurrent Language for Embedded Systems, Stephen A. Edwards, 8, November, 2006
• Classes and Inheritance in Actor-Oriented Design, Edward A. Lee, Stephen Neuendorffer, Xiaojun Liu, University of California, Berkeley, UCB/EECS-2006-154, November, 2006
• The Case for the Precision Timed (PRET) Machine, Stephen A. Edwards, Edward A. Lee, University of California, Berkeley, UCB/EECS-2006-149, November, 2006
• Causality Interfaces for Actor Networks, Ye Zhou, Edward A. Lee, University of California, Berkeley, UCB/EECS-2006-148, November, 2006
• Generalized Parity Games, Krishnendu Chatterjee, Tom Henzinger, Nir Piterman, University of California, Berkeley, UCB/EECS-2006-144, November, 2006
• Stochastic Limit-Average Games are in EXPTIME, Krishnendu Chatterjee, Rupak Majumdar, Tom Henzinger, University of California, Berkeley, UCB/EECS-2006-143, November, 2006
• Precision Timed (PRET) Computation in Cyber-Physical Systems, Edward A. Lee, Stephen A. Edwards, National Workshop on High Confidence Software Platforms for Cyber-Physical Systems: Research Needs and Roadmap, November, 2006
• Reduction of Stochastic Parity to Stochastic Mean-payoff Games, Krishnendu Chatterjee, Tom Henzinger, University of California, Berkeley, UCB/EECS-2006-140, November, 2006
• Port-based Modeling and Control for Efficient Bipedal Walking Machines, Vincent Duindam, 31, October, 2006
• Actor Networks, Edward A. Lee, 26, October, 2006
• Multiple Targets: Pursuing and Monitoring, Jongho Lee, J. Mikael Eklund, Shankar Sastry, 4, October, 2006
• Hybrid Systems: Theoretical Contributions Part I, Shankar Sastry, 4, October, 2006
• Foundations of Hybrid and Embedded Software Systems: Project Overview, Shankar Sastry, 4, October, 2006
• Hybrid Systems: Theoretical Contributions Part II, Tom Henzinger, 4, October, 2006
• Advanced Tool Architectures, Edward A. Lee, 4, October, 2006
• Embedded Systems Education: Vanderbilt University, Janos Sztipanovits, 4, October, 2006
• Impact: Fault Tolerance and High Confidence Embedded System Design, Gabor Karsai, 4, October, 2006
• Educating New Generation of Students in Embedded Systems, Edward A. Lee, 4, October, 2006
• Systems Biology: Embedded Inter- and Intra-cellular dynamics, Claire Tomlin, 4, October, 2006
• New Vistas on Automotive Embedded Systems, Alberto Sangiovanni-Vincentelli, 4, October, 2006
• Heterogeneous Ad Hoc Networks, Bela Bollobas, 4, October, 2006
• Tool Repositories, ESCHER and continuing the Legacy of the ITR, Janos Sztipanovits, 4, October, 2006
• Foundations of Hybrid and Embedded Software Systems: Project Overview, Shankar Sastry, 4, October, 2006
• Heterogeneous Ad Hoc Networks, Bela Bollobas, Svante Janson, Oliver Riordan, 4, October, 2006
• Embedded Systems Education: Vanderbilt University, Janos Sztipanovits, 4, October, 2006
• PTIDES: Programming temporally Integrated Distributed Embedded Systems, Yang Zhao, Edward A. Lee, Jie Liu, 2, October, 2006
• New Innovative Technologies for Cyber Physical Societal Scale Systems: Top Down Meets Bottom Up, Shankar Sastry, October, 2006
• Experimental Research, Alberto Sangiovanni-Vincentelli, October, 2006
• Model-Based Design, Janos Sztipanovits, October, 2006
• Port-based Modeling and Control for Efficient Bipedal Walking Machines, Vincent Duindam, October, 2006
• Outreach, Jonathan Sprinkle, October, 2006
• An Overlap-based MILP Formulation for Task Allocation and Scheduling, Abhijit Davare, Jike Chong, Qi Zhu, Douglas Densmore, Alberto Sangiovanni-Vincentelli, submitted, October, 2006
• A Hierarchical Coordination Language for Interacting Real-Time Tasks, Arkadeb Ghosal, Tom Henzinger, Daniel Iercan, Christoph Kirsch, Alberto Sangiovanni-Vincentelli, Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT'06), Sang Lyul Min, Wang Yi, ACM, 132-141, October, 2006
• Reinventing Computing for Real Time, Edward A. Lee, Yang Zhao, Proceedings of the 2006 Monterey Workshop, LNCS 4322, F. Kordon and J. Sztipanovits, Springer-Verlag Berlin Heidelberg, 1-25, October, 2006
• 6th OOPSLA Workshop On Domain-Specific Modeling, Juha-Pekka Tolvanen, Matti Rossi, Jonathan Sprinkle, University of Jyvaskala, October, 2006
• Efficient Integration of Web Services in Ambient-aware Sensor Network Applications, Isaac Amundson, Manish Kushwaha, Xenofon Koutsoukos, Sandeep Neema, Janos Sztipanovits, 3rd IEEE/CreateNet International Workshop on Broadband Advanced Sensor Networks (BaseNets 2006), October, 2006
• A Causality Interface for Deadlock Analysis in Dataflow, Ye Zhou, Edward A. Lee, Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Sang Lyul Min, Wang Yi, ACM, 44-52, October, 2006
• On the Correctness of Model Transformations in the Development of Embedded Systems, Gabor Karsai, Anantha Narayanan, Sandeep Neema, Proceedings of the 2006 Monterey Workshop, October, 2006
• OASiS: A Service-Oriented Middleware for Pervasive Ambient-Aware Sensor Networks, Isaac Amundson, Manish Kushwaha, Xenofon Koutsoukos, Sandeep Neema, Janos Sztipanovits, Pervasive and Mobile Computing Journal on Middleware for Pervasive Computing, October, 2006
• The Model-Integrated Computing Toolsuite: Metaprogrammable Tools for Embedded Control System Design, G. Karsai, A. Ledeczi, S. Neema, J. Sztipanovits, Proc. of the IEEE Joint Conference CCA, ISIC and CACSD, Munich, Germany, 50-55, October, 2006
• Towards A Formal Foundation For Domain Specific Modeling Languages, Ethan Jackson, Janos Sztipanovits, Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Sang Lyul Min, Wang Yi, ACM, 53-63, October, 2006
• Techniques for Metamodel Composition, Matthew Emerson, Janos Sztipanovits, OOPSLA – 6th Workshop on Domain Specific Modeling, 123-139, October, 2006
• Application of Programming Temporally Integrated Distributed Embedded Systems, Yang Zhao, Edward A. Lee, Jie Liu, Proceedings of 2006 IEEE 1588 Conference, October, 2006
• WiNeSim: A Wireless Network Simulation Tool, M. Emerson, S. Duncavage, J. Mathe, J. Sztipanovits, Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Sang Lyul Min, Wang Yi, ACM, October, 2006
• Towards the Compositional Specification of Semantics for Heterogeneous Domain-Specific Modeling Languages, Janos Sztipanovits, Workshop on Foundation of Composition, October, 2006
• Cyber-Physical Systems - Are Computing Foundations Adequate?, Edward A. Lee, Position Paper for NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, October, 2006
• Control of Hybrid Systems: a Robust Finite State Machine Approach, Danielle Tarraf, 29, September, 2006
• Modeling with the Timing Definition Language, Wolfgang Pree, 26, September, 2006
• The Design of a Language for Model Transformations, A. Agrawal, G. Karsai, S. Neema, F. Shi, A. Vizhanyo, Journal on Software and System Modeling, 5, 3, 261-288, September, 2006
• Analysis of Low-Level Code Using Cooperating Decompilers, Bor-Yuh Evan Chang, Matthew Harren, George Necula, The 13th International Static Analysis Symposium (SAS), Kwangkeun Yi, 318-335, September, 2006
• Quantitative Compositional Pricing, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Tom Henzinger, Rupak Majumdar, Marielle Stoelinga, QEST 06, September, 2006
• Concurrent Semantics without the Notions of State or State Transitions, Edward A. Lee, Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, LCNS 4202, Asarin, Eugene; Bouyer, Patricia, 18-31, September, 2006
• Algorithms for Omega-Regular Games with Imperfect Information, Krishnendu Chatterjee, Tom Henzinger, CSL 06, September, 2006
• Timed alternating-time temporal logic, Tom Henzinger, Vinayak Prabhu, Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, LCNS 4202, Asarin, Eugene; Bouyer, Patricia, 1-17, September, 2006
• Strategy Improvement for Concurrent Reachability Games, Krishnendu Chatterjee, Luca de Alfaro and Thomas A. Henzinger, QEST 06, September, 2006
• Concurrent Games with Tail Objectives, Krishnendu Chatterjee, CSL 06, September, 2006
• Nash Equilibrium for Upward-Closed Objectives, Krishnendu Chatterjee, CSL 06, September, 2006
• Making Concurrency Mainstream, Edward A. Lee, 27, August, 2006
• Theoretical and Practical Challenges of LXI and IEEE 1588 Measurement Systems, John Eidson, 24, August, 2006
• Strategy Improvement for Stochastic Rabin and Streett Games, Krishnendu Chatterjee, Tom Henzinger, CONCUR 2006 - Concurrency Theory, 17th International Conference, Christel Baier and Holger Hermanns, 375-389, August, 2006
• Model-Based Design of Heterogeneous Systems for Fault Tree Analysis, Mark McKelvin, Claudio Pinello, Sri Kanajan, Alberto Sangiovanni-Vincentelli, 24th International System Safety Conference, Rodney J. Simmons, Ph.D., Norman J. Gauthier, System Safety Society, 400-409, August, 2006
• Modeling Timed Concurrent Systems, Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee, CONCUR 2006 - Concurrency Theory, 17th International Conference, Christel Baier and Holger Hermanns, 1-15, August, 2006
• Algorithms for Buchi Games, Krishnendu Chatterjee, Tom Henzinger, Nir Piterman, GDV 06, August, 2006
• The embedded systems design challenge, Tom Henzinger, Joseph Sifakis, Proceedings of the 14th International Symposium on Formal Methods (FM), Lecture Notes in Computer Science, Springer, August, 2006
• A Simplified Catalytic Converter Model for Automotive Coldstart Applications with Adaptive Parameter Fitting, Pannag R Sanketi, Carlos Zavala, Karl Hedrick, Mark Wilcutts, Tomoyuki Kaga, 8th International Symposium on Advanced Vehicle Control, August, 2006
• Automated Memory Allocation of Actor Code and Data Buffer in Heterochronous Dataflow Models to Scratchpad Memory, Shamik Bandyopadhyay, University of California, Berkeley, August, 2006
• Model-Based Control for Smooth Gear Shifting by Engine-AT Collaboration, Takashi Nagata, Hwan Hur, Masayoshi Tomizuka, 8th International Symposium on Advanced Vehicle Control (AVEC '06), 635-640, August, 2006
• Towards the Geometric Reduction of Controlled Three-Dimensional Robotic Bipedal Walkers, A. Ames, R. Gregg, E.D.B. Wendel, S. Sastry, Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, July, 2006
• Analysis of an Implementable Application Layer Scheme for Flow Control over Wireless Networks, A. Abate, M. Chen, S. Sastry, Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems, July, 2006
• Towards the Geometric Reduction of Controlled Three-Dimensional Bipedal Robotic Walkers, Aaron Ames, Robert Gregg, Eric D.B. Wendel, Shankar Sastry, 3rd Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, July, 2006
• A Constructive Fixed-Point Theorem and the Feedback Semantics of Timed Systems, Adam Cataldo, Edward A. Lee, Xiaojun Liu, Eleftherios Matsikoudis, Haiyang Zheng, Workshop on Discrete Event Systems, July, 2006
• A Semantic-Driven Synthesis Flow for Platform-Based Design, Qi Zhu, Abhijit Davare, Alberto Sangiovanni-Vincentelli, submitted to Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'06), July, 2006
• Is There Life After Zeno? Taking Executions past the Breaking (Zeno) Point, Aaron Ames, Robert Gregg, Haiyang Zheng, Shankar Sastry, 2007 American Control Conference, ACS, 23, June, 2006
• Programming temporally Integrated Distributed Embedded Systems, Yang Zhao, Edward A. Lee, Jie Liu, 18, June, 2006
• Algorithms for Omega-Regular Games with Incomplete Information, Krishnendu Chatterjee, Laurent Doyen, Tom Henzinger, Jean-Francois Raskin, University of California, Berkeley, UCB/EECS-2006-89, June, 2006
• Box Invariance of hybrid and switched systems, A. Abate, A. Tiwari, Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ifac, June, 2006
• Functional Model Exploration for Multimedia Applications via Algebraic Operators, Shinjiro Kakita, Yosinori Watanabe, Douglas Densmore, Abhijit Davare, Alberto Sangiovanni-Vincentelli, ACSD 2006 - Sixth International Conference on Application of Concurrency to System Design, 229-238, June, 2006
• Hybrid Routhian Reduction of Lagrangian Hybrid Systems, Aaron Ames, Shankar Sastry, American Control Conference, June, 2006
• Hybrid Cotangent Bundle Reduction of Simple Hybrid Mechanical Systems with Symmetry, Aaron Ames, Shankar Sastry, American Control Conference, June, 2006
• Is there Life after Zeno? Taking Executions Past the Breaking (Zeno) Point, Aaron Ames, Haiyang Zheng, Robert Gregg, Shankar Sastry, American Control Conference, June, 2006
• Is there Life after Zeno? Taking Executions Past the Breaking (Zeno) Point, Aaron Ames, Haiyang Zheng, Robert Gregg, Shankar Sastry, American Control Conference, June, 2006
• A-Priori Detection of Zeno Behavior in Communication Networks Modeled as Hybrid Systems, Alessandro Abate, Aaron Ames, Shankar Sastry, Proceedings of the 25th American Control Conference, June, 2006
• Error Bounds Based Stochastic Approximations and Simulations of Hybrid Dynamical Systems, Alessandro Abate, Aaron Ames, Shankar Sastry, Proceedings of the 25th American Control Conference, June, 2006
• Hybrid Routhian Reduction of Lagrangian Hybrid Systems, Aaron Ames, Shankar Sastry, American Control Conference, June, 2006
• Hybrid Cotangent Bundle Reduction of Simple Hybrid Mechanical Systems with Symmetry, Aaron Ames, Shankar Sastry, American Control Conference, June, 2006
• Compositional Specification of Behavioral Semantics, Kai Chen, Janos Sztipanovits, Sandeep Neema, Institute For Software Integrated Systems (ISIS), ISIS-06-705, June, 2006
• The Future of Embedded Software, Edward A. Lee, 22, May, 2006
• The Future of Embedded Software, Edward A. Lee, 22, May, 2006
• Accelerating Applications Using TIPI Sub-RISC Processing Elements, Scott Weber, Kaushik Ravindran, Andrew Mihal, Kurt Keutzer, May, 2006
• Modeling Timed Concurrent Systems using Generalized Ultrametrics, Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee, EECS Department, UC Berkeley, May, 2006
• New real-time embedded software for an autonomous helicopter system using Giotto, Jongho Lee, UC Berkeley, May, 2006
• The Problem with Threads, Edward A. Lee, IEEE Computer, 39, 5, 33-42, May, 2006
• Automotive engine hybrid modelling and control for reduction of hydrocarbon emissions, Pannag R Sanketi, Carlos Zavala, Karl Hedrick, International Journal of Control, 79, 5, 449-464, May, 2006
• Automated Mapping from a Domain Specific Language to a Commercial Embedded Multiprocessor, William Plishker, Kurt Keutzer, May, 2006
• A Formalism for Higher-Order Composition Languages that Satisfies the Church-Rosser Property, Adam Cataldo, Elaine Cheong, Thomas Huining Feng, Edward A. Lee, Andrew Mihal, EECS Dept., University of California, Berkeley, 48, May, 2006
• Chess 2006 Annual Report, Jonathan Sprinkle, Tracey Richards, Chess, May, 2006
• Hierarchical Timing Language, Arkadeb Ghosal, Tom Henzinger, Daniel Iercan, Christoph Kirsch, Alberto Sangiovanni-Vincentelli, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-20, May, 2006
• COP Semantics of Timed Interactive Actor Networks, Xiaojun Liu, Edward A. Lee, EECS Department, UC Berkeley, 67, May, 2006
• Modular Performance Analysis and Interface-Based Design for Real-Time Systeems, Ernesto Wandeler, Lothar Thiele, 11, April, 2006
• Joint Modeling and Design of Wireless Networks and Sensor Node Software, Elaine Cheong, Edward A. Lee, Yang Zhao, University of California, Berkeley, UCB/EECS-2006-150, April, 2006
• Concurrent Embedded Design for Multimedia: JPEG encoding on Xilinx FPGA Case Study, Jike Chong, Abhijit Davare, Kelvin Lwin, UC Berkeley, April, 2006
• Design Space Exploration of Automotive Platforms in Metropolis, Haibo Zeng, Abhijit Davare, Alberto Sangiovanni-Vincentelli, Sampada Sonalkar, Sri Kanajan, Claudio Pinello, Society of Automotive Engineers Congress, April, 2006
• Incremental Checkpointing with Application to Distributed Discrete Event Simulation, Thomas Huining Feng, Edward A. Lee, EECS Dept., University of California Berkeley, 37, April, 2006
• An Interface Algebra for Real-time Components, Tom Henzinger, Slobodan Matic, Proceedings of RTAS 2006, 253-263, April, 2006
• Causality Interfaces, Rachel Zhou, Edward A. Lee, Haiyang Zheng, 7, March, 2006
• Finitary Winning in \omega-Regular Games, Krishnendu Chatterjee, Tom Henzinger, TACAS, March, 2006
• Composition Languages, Adam Cataldo, Edward A. Lee, EECS Dept., University of California, Berkeley, 24, March, 2006
• Reachability Analysis of Controlled Discrete-Time Stochastic Hybrid Systems, S. Amin, A. Abate, M. Prandini, J. Lygeros, S. Sastry, 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, Springer-Verlag, pp. 49-63, March, 2006
• A Platform-based Design Flow for Kahn Process Networks, Abhijit Davare, Qi Zhu, Alberto Sangiovanni-Vincentelli, UC Berkeley, 2006-30, March, 2006
• Interchange Formats for Hybrid Systems: Abstract Semantics, Alessandro Pinto, Luca Carloni, Roberto Passerone, Alberto Sangiovanni-Vincentelli, Hybrid Systems: Computation and Control, Joao Hespanha and Ashish Tiwari, 491-506, March, 2006
• Model-Based Optimal Gear Shift Pattern Scheduling and Smooth Gear Shifting Control, Hwan Hur, Takashi Nagata, Masayoshi Tomizuka, Steuerung und Regelung von Fahrzeugen und Motoren - AUTOREG 2006, VDI-Berichte Nr. 1931, 2006, VDI Wissensforum, 303-312, March, 2006
• Communication and Co-Simulation Infrastructure for Heterogeneous System Integration, Guang Yang, Xi Chen, Felice Balarin, Harry Hsieh, Alberto Sangiovanni-Vincentelli, Design Automation and Test in Europe, March, 2006
• Fault Tree Generation for Distributed Fault Tolerant Systems, Mark McKelvin, Claudio Pinello, Sri Kanajan, Alberto Sangiovanni-Vincentelli, 23, February, 2006
• Communication & Co-Simulation Infrastructure in Heterogeneous System Integration, Guang Yang, Alberto Sangiovanni-Vincentelli, Xi Chen, Harry Hsieh, Felice Balarin, 23, February, 2006
• Prospector: A Sample Code Search Engine for Complex APIs, David Mandelin, Rastislav Bodik, 23, February, 2006
• Ellipsoidal Toolbox, Alexander B. Kurzhanski, Pravin Varaiya, 23, February, 2006
• Synthesis Methodology for Concurrent Communicating Processes, Guoqiang Gerald Wang, Alberto Sangiovanni-Vincentelli, 23, February, 2006
• A First Look at Ptalon, Adam Cataldo, Thomas Huining Feng, Edward A. Lee, 23, February, 2006
• Verifying Safety Properties in Assembly Code, Matthew Harren, George Necula, 23, February, 2006
• Hierarchical Timing Language, Arkadeb Ghosal, Alberto Sangiovanni-Vincentelli, 23, February, 2006
• Behavioral Types for Open Software Systems, Dirk Beyer, Arindam Chakrabarti, Luca de Alfaro, Tom Henzinger, Marcin Jurdzinski, Freddy Mang, Marielle Stoelinga, 23, February, 2006
• Codegen, Gang Zhou, Jackie Leung, Edward A. Lee, Christopher Brooks, 23, February, 2006
• Autonomous Rotorcraft Landing Using Computer Vision, Todd Templeton, Christopher Geyer, J. Mikael Eklund, David Hyunchul Shim, Jonathan Sprinkle, Shankar Sastry, 23, February, 2006
• The Embedded Open Control Platform, Jonathan Sprinkle, J. Mikael Eklund, David Hyunchul Shim, Christopher Brooks, Shankar Sastry, 23, February, 2006
• Group Pursuit Evasion Games of Unmanned Underwater Vehicles, Jongho Lee, J. Mikael Eklund, Shankar Sastry, 23, February, 2006
• Optimal Gear Shift Pattern Scheduling and Smooth Gear Shifting Control for Automatic Transmissions, Takashi Nagata, Hwan Hur, Tomoyuki Kaga, Masayoshi Tomizuka, 23, February, 2006
• Automotive Engine Hybrid Modeling and Control of Hydrocarbon Emissions, Pannag R Sanketi, Carlos Zavala, Karl Hedrick, 23, February, 2006
• Automotive Architecture Exploration in Metropolis, Haibo Zheng, Alberto Sangiovanni-Vincentelli, 23, February, 2006
• HyVisual: a Hybrid System Visual Modeler, Haiyang Zheng, Edward A. Lee, 23, February, 2006
• Reachability Analysis for Discrete Time Stochastic Hybrid Systems, Alessandro Abate, Saurabh Amin, Shankar Sastry, 23, February, 2006
• Causality Interfaces and Compositional Causality Analysis, Rachel Zhou, Haiyang Zheng, Edward A. Lee, 23, February, 2006
• An Interface Algebra for Real-Time Components, Slobodan Matic, Tom Henzinger, 23, February, 2006
• Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks, Elaine Cheong, Edward A. Lee, Yang Zhao, Christopher Brooks, EECS Dept. UC Berkeley, 15, February, 2006
• Learning Nonlinear Dynamical Models for Human Motion Modeling, Sumitra Ganesh, Aaron Ames, Ruzena Bajcsy, 23, February, 2006
• Time Triggered Scheduling of Architecture Exploration for Automotive Application, wei zheng, Alberto Sangiovanni-Vincentelli, 23, February, 2006
• Modeling a Heterogeneous Multiprocessor for Software Defined Radio, Trevor Meyerowitz, Rong Chen, Jens Harnisch, Alberto Sangiovanni-Vincentelli, 23, February, 2006
• Semantic Foundation of the Tagged Signal Model, Xiaojun Liu, 21, February, 2006
• HOPES: Embedded Software Development for MPSoC, Soonhoi Ha, 14, February, 2006
• The JAviator Project, Christoph Kirsch, 7, February, 2006
• Markov Decision Processes with Multiple Objectives, Krishnendu Chatterjee, Rupak Majumdar, Tom Henzinger, STACS, February, 2006
• Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games, Krishnendu Chatterjee, Tom Henzinger, STACS, February, 2006
• PML: a Language for Platform Modeling, Tivadar Szemethy, Gabor Karsai, Electronic Communications of the EASST, 4, 2006, 2006
• Hybrid Lagrangian and Hamiltonian Reduction of Simple Hybrid Systems, Aaron Ames, Shankar Sastry, 2006
• Error Bounds Based Stochastic Approximations and Simulations of Hybrid Dynamical Systems, Alessandro Abate, Aaron Ames, Shankar Sastry, Proc. 25th IEEE American Control Conference, Minneapolis, MN, Jun. 2006., 2006
• Stochastic Approximations of Hybrid Systems, Alessandro Abate, Aaron Ames, Shankar Sastry, Proc. 24th IEEE American Control Conference, Portland, OR, 2005, 2006
• Simulating Zeno Hybrid Systems Beyond Their Zeno Points, Haiyang Zheng, UC Berkeley, 2006
• On the Stability of Zeno Equilibria, A. Ames, P. Tabuada, S. Sastry, 34-48, Lecture Notes in Com, 3927, Springer-Verlag, 2006
• A-Priori Detection of Zeno Behavior in Communication Networks Modeled as Hybrid Systems, Alessandro Abate, Aaron Ames, Shankar Sastry, Proc. 25th IEEE American Control Conference, Minneapolis, MN, Jun. 2006., 2006
• Languages and Tools for Hybrid Systems Design, Luca Carloni, Roberto Passerone, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Foundations and Trends in Design Automation, 1, 1, 1-204, 2006
• Ellipsoidal Toolbox, Alex A. Kurzhanskiy, Pravin Varaiya, EECS, UC Berkeley, 2006
• Handbook of Real-Time and Embedded Systems, Matthew Emerson, Sandeep Neema, Janos Sztipanovits, Insup Lee, Joseph Leung, Sang H. Son, CRC Press, 2006
• Beyond Zeno: Get on with It!, Haiyang Zheng, Edward A. Lee, Aaron Ames, Joao Hespanha, Ashish Tiwari, 568-582, 3927, Springer Berlin/Heidelberg, 2006
• Domain-Specific Models, Model Analysis, Model Transformations, Tivadar Szemethy, Vanderbilt University, 2006
• Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations, A. Narayanan, G. Karsai, Electronic Communications of the EASST, 4, 2006, 2006
• A Constructive Fixed-Point Theorem and the Feedback Semantics of Timed Systems, Adam Cataldo, Edward A. Lee, Xiaojun Liu, Eleftherios Matsikoudis, Haiyang Zheng, EECS Dept. University of California, Berkeley, 4, 2006
• The Problem with Threads, Edward A. Lee, EECS Dept., University of California, Berkeley, 1, 2006
• HyVisual: A Hybrid System Modeling Framework Based on Ptolemy II, Edward A. Lee, Haiyang Zheng, IFAC Conference on Analysis and Design of Hybrid Systems, 2006
• The Complexity of Quantitative Concurrent Parity Games, Krishnendu Chatterjee, Luca de Alfaro, Tom Henzinger, SODA, 2006
• Games with Secure Equilibria, Krishnendu Chatterjee, Tom Henzinger, Marcin Jurdzinski, Theoretica Computer Science, 2006
• Reachability analysis for controlled discrete time stochastic hybrid systems, S. Amin, A. Abate, M. Prandini, J. Lygeros, S. Sastry, J. Hespanha and A. Tiwari, 49-63, 3927, Springer Verlag, 2006

Found 175 publications.