The following are publications ( reports, papers, tech reports and memos, and talks) which acknowledge this MURI's support. They are (basically) indexed by the last name of the first a uthor . When you download the material and find the URL is obsolete, or if you want to add your work in the following lists, please send email to: Yi Ma or John Koo

---

Reports

• First Year Progress Report (Compressed MS Word File,35KB)

---

Papers

• L. de Alfaro
  
  
  1. L. de Alfaro, A. Kapur, Z. Manna, "Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification." In Proc. of 14th Symposium on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science, Springer Verlag, 1997. Postscript file
     
     
  2. L. de Alfaro, "Temporal Logics for the Specification of Performance and Reliability." In Proc. of 14th Symposium on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science, Springer Verlag, 1997. Postscript file
     
     
• Steve Burgett
  
  
  1. S. Burgett, R. Bush, S. Sastry and, C. Sequin, "Shape Synthesis from Sparse, Feature-Based Input", ASME International Mechanical Engineering Congress & Exposition, San Francisco, CA, November 1995, Abstract, HTML, Postscript file.
     
     
• John-Morten Godhavn
  
  
  1. John-Morten Godhavn, Andrea Balluchi, Lara Crawford, and Shankar Sastry, "Path Planning for Nonholonomic Systems with Drift", 1997 IEEE American Control Conference Compressed Postscript file.
     
     
• F. Hoffmann
  
  
  1. F. Hoffmann, "Evolutionary Learning of Mobile Robot Behaviors", First Workshop on Frontiers in Evolutionary Algorithms, 1997. Compressed Postscript file
     
     
  2. F. Hoffmann, "EvolutionaryDesign of a Fuzzy Knowledge Base for a Mobile Robot", submitted to International Journal of Approximate Reasoning. Compressed Postscript file
     
     
• T. John Koo
  
  
  1. T.John Koo, "Construction of Fuzzy Linguistic Model", 35th IEEE Conference on Decision and Control, Kobe, Japan, December 11-13, 1996. Compressed Postscript file
     
     
  2. T.John Koo, "SmartATMS: A Simulator for Air Traffic Management Systems", Winter Simulation Conference, Atlanta, Georgia, USA, December 1997. Source URL
     
     
• Claire Tomlin
  
  
  1. Claire Tomlin and Shankar Sastry, "Bounded Tracking for Nonminimum Phase Nonlinear Systems with Fast Zero Dynamics", August 1996. Source URL
     
     
  2. Claire Tomlin, George Pappas and Shankar Sastry, "Conflict Resolution for Air Traffic Management: A Case Study in Multi-Agent Hybrid Systems", July 1996. Source URL
     
     
  3. John Lygeros, Claire Tomlin, and Shankar Sastry, " Multiobjective Hybrid Controller Synthesis". Coming Soon...
     
     
• Jeff M. Wendlandt
  
  
  1. J. Wendlandt and S. Sastry, "Recursive Workspace Control of Multibody Systems: A Planar Biped Example", 35th IEEE Conference on Decision and Control, Kobe, Japan, December 11-13, 1996. Compressed Postscript (92KB) file (372KB)

---

Technical Reports and Memos

• Lara S. Crawford
  
  
  1. Lara S. Crawford and S. Shankar Sastry, "Learning Controllers for Complex Behavioral Systems" (140K), UC Berkeley ERL Memo Number M96/73, 1996.
     
     
• John-Morten Godhavn
  
  
  1. J.-M. Godhavn, A. Balluchi, L. S. Crawford, and S. S. Sastry, "Control of Nonholonomic Systems with Drift Terms" UC Berkeley ERL Memo Number M97/01, 1997 Compressed Postscript file.
     
     
• Jeff M. Wendlandt
  
  
  1. Jeff M. Wendlandt and Jerrold E. Marsden, "Mechanical Integrators Derived from a Discrete Variational Principle", Caltech CDS Technical Report 96-013. Compressed Postscript file (140KB) (569KB)
     
     

---

Talks and Presentations

• Lara S. Crawford
  
  
  1. Lara S. Crawford and S. Shankar Sastry, "Learning Controllers for Complex Behavioral Systems", workshop at the Neural Information Processing Systems 10th Annual Conference, December 1996.
     
     
• Claire Tomlin
  
  
  1. Tomlin Claire, "Switching through Singularities", 4th Hybrid Control Conference, Ithaca, October 1996.
     
     
  2. Tomlin Claire, "Conflict Resolution for Air Traffic Management", World Congress of Nonlinear Analysts, Athens, July 1996.
     
     
• Jeff M. Wendlandt
  
  
  1. Jeff Wendlandt and Shankar Sastry, "Mutibody Control and Simulation", Army research lab in Natick, MA. Compressed Postscript file
     
     

---

References

---

[Top|Home]

---