Search results

• Correctly Composing Components: Ontologies and Modal Behaviors, Edward A. Lee, 2, December, 2009
• Performance Bounds for Constrained Linear Stochastic Control, Yang Wang, 2, December, 2009
• Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems: Project Overview, Janos Sztipanovits, 2, December, 2009
• Model-based Testing and Verification of Embedded System Implementations, Andre Platzer, Edmund M. Clarke, 2, December, 2009
• Robust Hybrid and Embedded Systems Design, Jerry Ding, Jeremy Gillula, Huang Haomiao, Michael Vitus, Claire Tomlin, 2, December, 2009
• Constructive Non-linear Control Design With Applications to Quad-Rotor and Fixed-Wing Aircraft, Nicholas Kottenstette, Joe Porter, 1, December, 2009
• High-Confidence Design for Distributed Embedded Systems (HCDDES) Project Overview, Janos Sztipanovits, 14, October, 2008
• Demonstration of the Starmac Experimental Platform and Overview of Hybrid Control Design Challenges, Claire Tomlin, Shankar Sastry, 14, October, 2008
• Principled Design of Embedded Software, Edward A. Lee, Man-Kit Leung, 14, October, 2008
• Model-Based Tool Chain for High Confidence Design, Peter Volgyesi, Gabor Karsai, Janos Sztipanovits, 14, October, 2008
• Robust Control Design, Stephen Boyd, 14, October, 2008
• Model-based Testing and Verification of Embedded System Implementations, Stephen Boyd, 14, October, 2008
• Inertial Control of a Quad-Rotor Helicopter: A Passivity Based Approach, Nicholas Kottenstette, 14, October, 2008
• Saturation-based Scaling Techniques for Symbolic Verification of Hybrid Systems, Andre Platzer, Edmund M. Clarke, 14, October, 2008
• An Extensible Software Synthesis Framework for Heterogeneous Actor Models, Man-Kit Leung, Edward A. Lee, SLA++P 2008, Model-driven High-level Programming of Embedded Systems, Artist, March, 2008
• 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
• High-Confidence Design for Distributed Embedded Systems MURI Project Overview, Janos Sztipanovits, 6, September, 2007
• Controller Coefficient Truncation Using Lyapunov Performance Certificate, Stephen Boyd, Joelle Skaf, 6, September, 2007
• Embedded Systems Modeling and Deep Compositionality, Bruce Krogh, 6, September, 2007
• Principled Design of Embedded Systems, Edward A. Lee, 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
• Source Code Verification and Testing, Flavio Lerda, Edmund M. Clarke, 6, 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

Found 23 publications.