Search results

Reducing Energy Consumption in Wireless Sensor Networks, Carlo Fischione, 11, December, 2007
From Formulas to Systems, Orna Kupferman, 4, December, 2007
CHIC: Checking Interface Compatibility, Dirk Beyer, Arindam Chakrabarti, Krishnendu Chatterjee, Luca de Alfaro, Tom Henzinger, Marcin Jurdzinski, Freddy Mang, Cindy Song, UC Berkeley, December, 2007
A Framework for Compositional Design and Analysis of Systems, Arindam Chakrabarti, UC Berkeley, December, 2007
Robust feasibility for control of water flow in a canal reservoir system, Saurabh Amin, Alexandre Bayen, Laurent El Ghaoui, Shankar Sastry, Decision and Control, 2007 46th IEEE Conference on, 1571-1577, December, 2007
The concept of Box Invariance for biologically-inspired dynamical systems, Alessandro Abate, Ashish Tiwari, Shankar Sastry, 46th IEEE Conference on Decision and Control and European Control, 5162-5167, December, 2007
Sufficient Conditions for the Existence of Zeno Behavior in Nonlinear Hybrid Systems via Constant Approximations, Aaron Ames, Alessandro Abate, Shankar Sastry, 46th IEEE Conference on Decision and Control and European Control, 4033-4038, December, 2007
Stochastic Muller Games are PSPACE-complete, Krishnendu Chatterjee, FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 436-448, December, 2007
Markov Decision Processes with Multiple Long-run Average Objectives, Krishnendu Chatterjee, FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 473-484, December, 2007
Communication Synthesis with Applications to On-Chip Communication and Building Automation Systems, Alessandro Pinto, 27, November, 2007
The Theory of Fast and Robust Adaptation, Naira Hovakimyan, 13, November, 2007
Software Development in an Academic Environment: Lessons learned and not learned, Christopher Brooks, 1, November, 2007
Heterogeneous Composition of Models of Computation, Antoon Goderis, Christopher Brooks, Ilkay Altintas, Edward A. Lee, Carol Goble, EECS Department University of California Berkeley, UCB/EECS-2007-139, November, 2007
Probabilistic Reachability for Stochastic Hybrid Systems: Theory, Computations, and Applications, Alessandro Abate, University of California, Berkeley, November, 2007
Using the Principles of Synchronous Languages in Discrete-event and Continuous-time Models, Edward A. Lee, 23, October, 2007
Center for Hybrid and Embedded Software Systems (CHESS) Overview, Christopher Brooks, 18, October, 2007
Design of Robust Dynamic Networks, Andrzej Banaszuk, 16, October, 2007
From Actors to Gates, Jorn W Janneck, 9, October, 2007
Ingredients for Successful System Level Automation & Design Methodology - Support for Multiple Models of Computation, Directed test case generation, Reflection & Introspection and Service-oriented tool integration environment, Hiren Patel, 4, October, 2007
Visual Modeling of Complex Systems: The Kiel System, Reinhard von Hanxleden, 4, October, 2007
Position Statement for Panel on Grand Challenges in Embedded Software, Edward A. Lee, EMSOFT 07, Salzburg, Austria, October, 2007
Stochastic Omega-Regular Games, Krishnendu Chatterjee, EECS Department, University of California, Berkeley, October, 2007
Quantitative and Probabilistic Modeling in Pathway Logic, A. Abate, Y. Bai, N. Sznajder, C. Talcott, A. Tiwari, Proceedings of the 7th IEEE International Conference on BioInformatics and BioEngineering, 922-929, October, 2007
A Communication Synthesis Infrastructure for Heterogeneous Networked Control Systems and Its Application to Building Automation and Control, Alessandro Pinto, Luca Carloni, Alberto Sangiovanni-Vincentelli, EMSOFT 2007, October, 2007
Constructive Techniques for Meta and Model Level Reasoning, Ethan Jackson, Janos Sztipanovits, Model Driven Engineering Languages and Systems, 405-419, October, 2007
Graphical System Design, David Fuller, 26, September, 2007
Stochastic Omega-Regular Games, Krishnendu Chatterjee, 25, September, 2007
A Multi-Threaded Reactive Processor, Reinhard von Hanxleden, Xin Li, Marian Boldt, 18, September, 2007
The TDL Experimental Domain in Ptolemy, Wolfgang Pree, Stefan Resmerita, Patricia Derler, 13, September, 2007
STARMAC The Stanford Testbed of Autonomous Rotorcraft for Multi-Agent Control, Gabe Hoffmann, Haomiao Huang, Vijay Pradeep, Steven Waslander, Claire Tomlin, 6, September, 2007
Robust Hybrid and Embedded Systems Design for Quadrotor Platform, Claire Tomlin, Shankar Sastry, Jerry Ding, Gabe Hoffmann, Haomiao Huang, Vijay Pradeep, Jonathan Sprinkle, Steven Waslander, Edward A. Lee, 6, September, 2007
Controller Coefficient Truncation Using Lyapunov Performance Certificate, Stephen Boyd, Joelle Skaf, 6, September, 2007
Principled Design of Embedded Systems, Edward A. Lee, 6, September, 2007
High-Confidence Design for Distributed Embedded Systems MURI Project Overview, Janos Sztipanovits, 6, September, 2007
Source Code Verification and Testing, Flavio Lerda, Edmund M. Clarke, 6, September, 2007
Toward a Model-Based Tool Chain for High Confidence Design, Peter Volgyesi, Gabor Karsai, Janos Sztipanovits, Joe Porter, Ryan Thibodeaux, Harmon Nine, Sandeep Neema, 6, September, 2007
Embedded Systems Modeling and Deep Compositionality, Bruce Krogh, 6, September, 2007
Center for Hybrid and Embedded Software Systems, Alex Aiken, Tom Henzinger, Edward A. Lee, David G. Messerschmitt, George Necula, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Pravin Varaiya, 4, September, 2007
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata, Susmit Jha, Bryan Brady, Sanjit Seshia, 4, September, 2007
Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry, Proceedings of the 2nd Conference on Foundations of Systems Biology in Engineering, 527-532, September, 2007
A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems, Ramesh S., 28, August, 2007
Actor-Oriented Programming for Wireless Sensor Networks, Elaine Cheong, 24, August, 2007
Software Challenges and Opportunities for Real-Time on Multicore Machines, Edward A. Lee, 21, August, 2007
An Overview of Concurrent Models of Computation for Real-Time Systems, Edward A. Lee, 20, August, 2007
Actor-Oriented Programming for Wireless Sensor Networks, Elaine Cheong, University of California, Berkeley, August, 2007
MIMO Control for Automotive Coldstart, Pannag R Sanketi, Carlos Zavala, Mark Wilcutts, Tomoyuki Kaga, Karl Hedrick, Fifth IFAC Symposium on Automotive Control, IFAC, August, 2007
Simplified Models of Engine HC Emissions, Exhaust Temperature and Catalyst Temperature for Automotive Coldstart, Carlos Zavala, Pannag R Sanketi, Mark Wilcutts, Tomoyuki Kaga, Karl Hedrick, Fifth IFAC Symposium for Advances in Automotive Control, IFAC, August, 2007
Making Concurrency Mainstream, Christopher Brooks, Edward A. Lee, 16, July, 2007
Multi-formalism modelling and model transformation for the design of reactive systems, Thomas Huining Feng, Miriam Zia, 2007 Summer Computer Simulation Conference (SCSC 2007), July, 2007
An Application of Web-Service Interfaces, Dirk Beyer, Arindam Chakrabarti, Tom Henzinger, Sanjit Seshia, IEEE International Conference on Web Services (ICWS) 2007, IEEE Computer Society Press, 831-838, July, 2007
Minimum-time reachability in timed games, Thomas Brihaye, Tom Henzinger, Vinayak Prabhu, Jean-François Raskin, ICALP 2007 Automata, Languages and Programming, 825-837, July, 2007
Precision-Timed (PRET) Machines, Stephen A. Edwards, Edward A. Lee, 5, June, 2007
The Case for the Precision Timed (PRET) Machine, Stephen A. Edwards, Edward A. Lee, Proceedings of the 44th annual conference on Design automation, SESSION: Wild and crazy ideas (WACI), 264 - 265, June, 2007
CHESS 2006-2007 Annual Report, Jonathan Sprinkle, Christopher Brooks, Center for Hybrid and Embedded Software Systems, June, 2007
The Case for the Precision Timed (PRET) Machine, Stephen A. Edwards, Edward A. Lee, 2007 Design Automation Convention, June, 2007
Applying a Grouping Operator in Model Transformations, D. Balasubramanian, A. Narayanan, S. Neema, B. Ness, F. Shi, R. Thibodeaux, G. Karsai, 3rd International Workshop on Graph and Model Transformation (GraMoT), June, 2007
Period Optimization for Hard Real-time Distributed Automotive Systems, Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto Sangiovanni-Vincentelli, Design Automation Conference, 278-283, June, 2007
DARPA Urban Challenge Technical Paper: Sydney-Berkeley Driving Team, 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, University of Sydney; University of Technology, Sydney; University of California, Berkeley, June, 2007
A Model-Driven Approach to Embedded Control System Implementation, Jan F. Broenink, Marcel Groothuis, Peter Visser, Bojan Orlic, 19, May, 2007
Composing Different Models of Computation in Kepler and Ptolemy II, Antoon Goderis, Christopher Brooks, Ilkay Altintas, Edward A. Lee, Goble Carol, 2007 Proceedings, International Conference on Computational Science (ICCS), 182-190, May, 2007
Interface Theories for Causality Analysis in Actor Networks, Ye Zhou, University of California, Berkeley, May, 2007
A Case Study on Semantic Unit Composition, Kai Chen, Janos Sztipanovits, Sandeep Neema, Workshop on Modeling in Software Engineering, ICSE 2007 (MISE 2007), May, 2007
Operational Semantics of Hybrid Systems, Haiyang Zheng, University of California, Berkeley, May, 2007
Computing Foundations and Practice for Cyber-Physical Systems: A Preliminary Report, Edward A. Lee, University of California, Berkeley, UCB/EECS-2007-72, May, 2007
Group pursuit policies for UUVs using nonlinear model predictive control and reachable sets, Jongho Lee, J. Mikael Eklund, Shankar Sastry, May, 2007
Engine Torque Control Based on Discrete Event Model and Disturbance Observer, Takashi Nagata, Masayoshi Tomizuka, ASME International Mechanical Engineering Congress and Exposition (IMECE2007), (submitted), May, 2007
Strategy Logic, Krishnendu Chatterjee, Tom Henzinger, Nir Piterman, University of California, Berkeley, UCB/EECS-2007-78, May, 2007
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation, Gang Zhou, Man-Kit Leung, Edward A. Lee, Proceedings of International Conference on Embedded Software and Systems 2007, LNCS 4523, Y.-H. Lee et al., 786-799, May, 2007
Automated Extraction of Inductive Invariants to Aid Model Checking, Mike Case, 10, April, 2007
Is Truly Real-Time Computing Becoming Unachievable?, Edward A. Lee, 3, April, 2007
From Concept to Silicon, Vason P. srini, 3, April, 2007
Defining Behavioral Semantics for Domain Specific Modeling Languages, Janos Sztipanovits, April, 2007
Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs, M. Daigle, I. Roychoudhury, G. Biswas, X. Koutsoukos, Hybrid Systems: Computation and Control (HSCC 2007), Lecture Notes in Computer Science, vol. 4416, 680-683, April, 2007
Compositional Specification of Behavioral Semantics, Kai Chen, Janos Sztipanovits, Sandeep Neema, Proceedings of Design Automation and Test in Europe Conference (DATE 07), 906-911, April, 2007
Optimizing end-to-end latencies by adaptation of the activation events in distributed automotive systems, Marco Di Natale, wei zheng, Claudio Pinello, Paolo Giusto, Alberto Sangiovanni-Vincentelli, Real-Time and Embedded Technology and Applications Symposium, April, 2007
A Decomposition-based Constraint Optimization Approach for Statically Scheduling Task Graphs with Communication Delays to Multiprocessors, Nadathur Satish, Kaushik Ravindran, Kurt Keutzer, 10th Conference of Design, Automation and Test in Europe (DATE-07), 57-62, April, 2007
An Initial Study on Monetary Cost Evaluation for the Design of Automotive Electrical Architectures, Arkadeb Ghosal, Sri Kanajan, Randall Urbance, Alberto Sangiovanni-Vincentelli, SAE, April, 2007
Automatic Model Generation for Black Box Real-Time Systems, Thomas Huining Feng, Lynn Wang, wei zheng, Sri Kanajan, Sanjit Seshia, Design, Automation and Test in Europe (DATE) Conference, April, 2007
A Programming Model for Time-Synchronized Distributed Real-Time Systems, Yang Zhao, Jie Liu, Edward A. Lee, 13th IEEE Real Time and Embedded Technology and Applications Symposium, 2007. RTAS '07, 259 - 268, April, 2007
Synthesis of task and message activation models in real-time distributed automotive systems, wei zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto Sangiovanni-Vincentelli, Design, Automation and Test in Europe, April, 2007
Composition of Dynamical Systems for Estimation of Human Body Dynamics, Sumitra Ganesh, Aaron Ames, Ruzena Bajcsy, Proceedings of 10th International Conference on Hybrid Systems Computation and Control 2007, Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo, 702-706, April, 2007
Minimum-Time Reachability in Timed Games, Thomas A. Brihaye, Tom Henzinger, Vinayak Prabhu, Jean-Francois Raskin, University of California, Berkeley, UCB/EECS-2007-47, April, 2007
SAT Sweeping with Local Observability Don't-Cares, Nathan Kitchen, 20, March, 2007
Selective Term-Level Abstraction Using Type-Inference, Bryan Brady, 13, March, 2007
Are new languages necessary for multicore?, Edward A. Lee, 11, March, 2007
Model-based Software Development, Janos Sztipanovits, ESMD-SW Workshop, NASA, March, 2007
Generalized Parity Games, Krishnendu Chatterjee, Tom Henzinger, Nir Piterman, FOSSACS 07, March, 2007
Optimal Strategy Synthesis for Stochastic Muller Games, Krishnendu Chatterjee, FOSSACS 07, March, 2007
An Initial Study on Monetary Cost Evaluation for the Design of Automotive Electrical Architectures, Arkadeb Ghosal, Sri Kanajan, Randall Urbance, Alberto Sangiovanni-Vincentelli, SAE 2007 Transactions: Journal of Passenger Cars: Electronic and Electrical Systems, 844-856, March, 2007
ESCHER: A New Technology Transitioning Model, J. Sztipanovits, J. Bay, L. Rohrbough, S. Sastry, D. Schmidt, N. Whitaker, D. C. Winter, IEEE Computer, 40, 3, 90-92, March, 2007
Quo Vadis SLD: Reasoning about Trends and Challenges of System-Level Design, Alberto Sangiovanni-Vincentelli, Proceedings of the IEEE, 95, 3, 467-506, March, 2007
A Subgraph Operator for Graph Transformation Languages, D. Balasubramanian, A. Narayanan, S. Neema, F. Shi, R. Thibodeaux, G. Karsai, Proceedings of 6th International Workshop on Graph Transformation and Visual Modeling Techniques, Braga, Portugal, March, 2007
Assume-guarantee Synthesis, Krishnendu Chatterjee, Tom Henzinger, TACAS, March, 2007
Time-Portable Real-Time Programming with Exotasks, Christoph Kirsch, 27, February, 2007
Model-Based Smooth Gear Shifting of Automotive Powertrain by Engine / Automatic-Transmission Collaboration, Takashi Nagata, Masayoshi Tomizuka, Tomoyuki Kaga, 15, February, 2007
A General Synthesis Approach for Embedded Systems Design with Applications to Multi-media and Automotive Designs, Alberto Sangiovanni-Vincentelli, Qi Zhu, Abhijit Davare, 14, February, 2007
Decentralized Control of a Quadrotor Aircraft Fleet to seek Information, Claire Tomlin, Gabe Hoffmann, Maryam Kamgarpour, Robin Raffard, Steven Waslander, 14, February, 2007
Discrete Event Models: Getting the Semantics Right, Edward A. Lee, 14, February, 2007
Overview of the Chess Center, Jonathan Sprinkle, 14, February, 2007
Model-Based Control for Automotive Cold Start Applications, Karl Hedrick, Carlos Zavala, Pannag R Sanketi, 14, February, 2007
Making research out of contests, Jonathan Sprinkle, 14, February, 2007
Games, Times, and Probabilities: Value Iteration in Verification and Control, Krishnendu Chatterjee, Tom Henzinger, 14, February, 2007
Model0Based Control for Automotive Cold Start Applications, Karl Hedrick, Carlos Zavala, Pannag R Sanketi, 14, February, 2007
Metropolis II: A Next-Generation Framework for Platform-based Design, Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng, Qi Zhu, 14, February, 2007
Real-Time Fault-Tolerant Distributed DE for Embedded Systems, Edward A. Lee, Feng Zhao, 13, February, 2007
Ptolemy Project Vision, Edward A. Lee, 13, February, 2007
A Kepler-based Three Tier Architecture applied to LiDAR Interpolation, Efrat Jaeger-Frank, Ilkay Altintas, 13, February, 2007
Nesting and Unnesting Models of Computation, Edward A. Lee, 13, February, 2007
Using the RExpression Actor in Kepler Workflows, Daniel Higgins, Josh Madin, 13, February, 2007
VHDL code generation framework in Ptolemy II, Vinayak Nagpal, Terry Filiba, Man-Kit Leung, 13, February, 2007
Joint Modeling and Design of Wireless Networks and Sensor Node Design, Edward A. Lee, Yang Zhao, 13, February, 2007
The CAL Actor Language: Synthesizing Models to FPGA, Jorn W Janneck, 13, February, 2007
Kepler Project Overview, Status, and Future Directions, Matt Jones, 13, February, 2007
The Kepler Actor Repository: Enabling Remote Storage, Query and Retrieval of Actors and other Workflow Components, Chad Berkley, 13, February, 2007
Leveraging synchronous language principles for continuous-time, discrete-event, and hybrid system models, Haiyang Zheng, Edward A. Lee, 13, February, 2007
Scheduling Data-Intensive Workflows in Kepler, Daniel Zinn, Tim H. Wong, Bertram Ludaescher, 13, February, 2007
PTIDES: Programming Temporally Integrated Distributed Embedded Systems, Yang Zhao, Edward A. Lee, Jie Liu, 13, February, 2007
Partial Evaluation for Optimized Compilation of Actor-oriented Models, Gang Zhou, Edward A. Lee, Man-Kit Leung, 13, February, 2007
Correctness in Causal Systems, Eleftherios Matsikoudis, 13, February, 2007
Causality Interfaces for Actor Networks, Ye Zhou, Edward A. Lee, 13, February, 2007
COMAD:Collection-Oriented Modeling and Design of Scientific Workflows and Data, Timothy McPhillips, Shawn Bowers, Bertram Ludaescher, 13, February, 2007
The Power of Higher-Order Components in System Design, Adam Cataldo, 13, February, 2007
Provenance Framework in Kepler, Norbert Podhorszki, Ilkay Altintas, 13, February, 2007
Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks, Elaine Cheong, 13, February, 2007
Cyber-Physical Systems: A Vision of the Future, Edward A. Lee, 13, February, 2007
Actor Oriented as OpenOffice.org Macro Language, Rodolfo Totaro, 13, February, 2007
Ptolemy Reconfigurable and Programmable Hardware Platform, Mohamed A. Salem, 13, February, 2007
How to measure Multi-Instruction, Multi-Core Processor Performance using Simulation, Darryl Koivisto, Deepak Shankar, 13, February, 2007
Overcoming the Gap Between Design at Electronic System Level (ESL) and Implementation, Horst Salzwedel, 13, February, 2007
Extending Domains and the User Interface, Edward A. Lee, 13, February, 2007
S. Bowers, T. McPhillips, B. Ludaescher, A. Ngu, N. Haasch, T. Critchlow, S. Bowers, T. McPhillips, B. Ludaescher, 13, February, 2007
Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture), Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, University of California, Berkeley, UCB/EECS-2007-8, February, 2007
Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II), Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, University of California, Berkeley, UCB/EECS-2007-7, February, 2007
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation, Gang Zhou, Man-Kit Leung, Edward A. Lee, University of California, Berkeley, UCB/EECS-2007-29, February, 2007
A Next-Generation Design Framework for Platform-based Design, Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng, Qi Zhu, DVCon 2007, February, 2007
Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains), Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, University of California, Berkeley, UCB/EECS-2007-9, February, 2007
The UC Discovery Grant Program, Mona D. Lee, 13, January, 2007
Determinism in Event-Triggered Distributed Systems with Time Synchronization, Edward A. Lee, Slobodan Matic, Proceedings of ISPCS07, January, 2007
Networked Systems: Realization of Reliable Systems on Unreliable Networked Platforms, Fabrice Kordon and Janos Sztipanovits, Proceedings of the Sixth Monterey Workshop, LNCS Vol. 4322, January, 2007
Models as Structures: The Structural Semantics of Model-Based Design, Ethan Jackson, Janos Sztipanovits, Journal of Software and Systems Modeling (SOSYM), 2007
Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems, Alex A. Kurzhanskiy, Pravin Varaiya, IEEE Transactions Automatic Control, 52, 1, 26-38, 2007
OASiS: A Programming Framework for Service-Oriented Sensor Networks, Manish Kushwaha, Isaac Amundson, Xenofon Koutsoukos, Sandeep Neema, Janos Sztipanovits, In IEEE/Create-Net COMSWARE 2007, 2007
The Design and Application of Structured Types in Ptolemy II, Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, lizhi zhong, University of California, Berkeley, UCB/EECS-2007-21, 2007
A Method for Efficient Simulation of Hybrid Bond Graphs, I. Roychoudhury, M. Daigle, G. Biswas, X. Koutsoukos, P.J. Mosterman, International Conference on Bond Graph Modeling and Simulation (ICBGM 2007), 177-184, 2007
Games, time, and probability: Graph models for system design and analysis, Tom Henzinger, Proceedings of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Lecture Notes in Computer Science, Springer, 2007
Domain-Specific Modeling (in CRC Handbook of Dynamic System Modeling), Jeff Gray, Juha-Pekka Tolvanen, Steven Kelly, Anirudda Gokhale, Sandeep Neema, Jonathan Sprinkle, Paul A. Fishwick, 7, (in publication), CRC Press, 2007
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems, A. Abate, S. Amin, M. Prandini, J. Lygeros, S. Sastry, A. Bemporad A. Bicchi and G. Buttazzo, 4-17, 4416, Springer Verlag, 2007
The Concept of Deadlock and Livelock in Hybrid Control Systems, A. Abate, A. D'Innocenzo, G. Pola, M. D. Di Benedetto, S. Sastry, A. Bemporad and A. Bicchi and G. Buttazzo, 628-632, 4416, Springer Verlag, 2007
A Neural Hybrid-System Model of the Basal Ganglia, Joseph Makin, Alessandro Abate, University of California, Berkeley, UCB/EECS-2007-16, 2007
The Semantics of Dataflow with Firing, Edward A. Lee, Eleftherios Matsikoudis, Gérard Huet Gordon Plotkin Jean-Jacques Lévy Yves Bertot, preprint (March 7 2, Cambridge University Press, 2007
Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems, Edward A. Lee, Haiyang Zheng, Proceedings of the 7th ACM & IEEE international conference on Embedded software, Christoph M. Kirsch, Reinhard Wilhelm, ACM, 114-123, 2007
Value Iteration, Krishnendu Chatterjee, Tom Henzinger, 2007
Feedback in Strictly Causal Systems, Eleftherios Matsikoudis, Edward A. Lee, 2007
Homotopy Meaningful Hybrid Model Structures, Aaron Ames, Michael Farber, R . Ghrist, M. Burger, D . Koditschek, 121-144, American Mathematical Society, 2007
Domain-Specific Modeling, Jeff Gray, Juha-Pekka Tolvanen, Steven Kelly, Aniruddha Gokhale, Sandeep Neema, Jonathan Sprinkle, Paul A. Fishwick, 7, 7-1--7-20, Chapman & Hall/CRC, 2007

Found 155 publications.

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.