Faculty Publications - S. Shankar Sastry

Books

  • Y. Ma, S. Soatto, J. Kosecka, and S. S. Sastry, An Invitation to 3-D Vision: From Images to Geometric Models, Interdisciplinary Applied Mathematics: Imaging, Vision, and Graphics; v. 26, New York: Springer, 2004. [abstract]
  • Y. Ma, S. Soatto, J. Kosecka, and S. S. Sastry, An Invitation to 3-D Vision: From Images to Geometric Models, Interdisciplinary Applied Mathematics: Imaging, Vision, and Graphics, Vol. 26, New York, NY: Springer, 2004. [abstract]
  • P. J. Antsaklis, M. Lemmon, W. Kohn, A. Nerode, and S. S. Sastry, Eds., Hybrid Systems V, Lecture Notes in Computer Science, v. 1567, Berlin; New York: Springer, 1999. [abstract]
  • S. S. Sastry, Nonlinear Systems: Analysis, Stability, and Control, Interdisciplinary Applied Mathematics; v. 10, New York: Springer, 1999. [abstract]
  • S. S. Sastry, Nonlinear Systems: Analysis, Stability, and Control, Interdisciplinary Applied Mathematics, Vol. 10, New York, NY: Springer, 1999. [abstract]
  • T. A. Henzinger and S. S. Sastry, Eds., Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, v. 1386, Vol. 1386, Berlin, Germany: Springer-Verlag, 1998. [abstract]
  • J. Baillieul, S. S. Sastry, and H. J. Sussmann, Eds., Essays on Mathematical Robotics, The IMA Volumes in Mathematics and Its Applications; v. 104, New York: Springer, 1998. [abstract]
  • P. J. Antsaklis, W. Kohn, A. Nerode, and S. S. Sastry, Eds., Hybrid Systems IV, Lecture Notes in Computer Science, v. 1273, Berlin; New York: Springer, 1997. [abstract]
  • P. J. Antsaklis, W. Kohn, A. Nerode, and S. S. Sastry, Eds., Hybrid Systems II, Lecture Notes in Computer Science; v. 999, Berlin; New York: Springer, 1995. [abstract]
  • R. M. Murray, Z. Li, and S. S. Sastry, A Mathematical Introduction to Robotic Manipulation, Boca Raton, FL: CRC Press, 1994. [abstract]
  • S. S. Sastry and M. Bodson, Adaptive Control: Stability, Convergence, and Robustness, Prentice-Hall Information and System Sciences Series, Englewood Cliffs, NJ: Prentice Hall, 1989. [abstract]
  • S. S. Sastry and M. Bodson, Adaptive Control: Stability, Convergence, and Robustness, Prentice Hall Information and System Sciences Series, Englewood Cliffs, NJ: Prentice Hall, 1989.

Book chapters or sections

  • A. Abate, A. D'Innocenzo, M. D. Di Benedetto, and S. S. Sastry, "Markov set-chains as abstractions of stochastic hybrid systems," in Hybrid Systems: Computation and Control. Proc. 11th Intl. Workshop (HSCC 2008), M. Egerstedt and B. Mishra, Eds., Lecture Notes in Computer Science, Vol. 4981, Berlin, Germany: Springer-Verlag, 2008, pp. 1-15.
  • A. Abate, M. Prandini, J. Lygeros, and S. S. Sastry, "Approximation of general stochastic hybrid systems by switching diffusions with random hybrid jumps," in Hybrid Systems: Computation and Control. Proc. 11th Intl. Workshop (HSCC 2008), M. Egerstedt and B. Mishra, Eds., Lecture Notes in Computer Science, Vol. 4981, Berlin, Germany: Springer-Verlag, 2008, pp. 598-601.
  • A. D. Ames, R. D. Gregg, E. D. B. Wendel, and S. S. Sastry, "On the geometric reduction of controlled three-dimensional bipedal robotic walkers," in Lagrangian and Hamiltonian Methods for Nonlinear Control 2006: Proc. 3rd IFAC Workshop, F. Bullo and K. Fujimoto, Eds., Lecture Notes in Control and Information Sciences, Vol. 366, Berlin, Germany: Springer-Verlag, 2007, pp. 183-196.
  • C. L. Harmon, P. Ahammad, A. Hammonds, R. Weiszmann, S. E. Celniker, S. S. Sastry, and G. M. Rubin, "Comparative analysis of spatial patterns of gene expression in Drosophila melanogaster imaginal discs," in Research in Computational Molecular Biology: Proc. 11th Annual Intl. Conf. (RECOMB 2007), T. Speed and H. Huang, Eds., Lecture Notes in Bioinformatics, Vol. 4453, Berlin, Germany: Springer-Verlag, 2007, pp. 533-547.
  • S. S. Sastry, "Networked Embedded Systems: From Sensor Webs to Cyber-Physical Systems (Keynote Address)," in Hybrid Systems: Computation and Control. Proc. 10 Intl. Workshop (HSCC 2007), G. Buttazzo, A. Bemporad, and A. Bicchi, Eds., Lecture Notes in Computer Science, Vol. 4416, Berlin, Germany: Springer-Verlag, 2007, pp. 1-1.
  • A. Abate, S. Amin, M. Prandini, J. Lygeros, and S. S. Sastry, "Computational approaches to reachability analysis of stochastic hybrid systems," in Hybrid Systems: Computation and Control. Proc. 10th Intl. Conf. (HSCC 2007), A. Bemporad, A. Bicchi, and G. Buttazzo, Eds., Lecture Notes in Computer Science, Vol. 4416, Berlin, Germany: Springer-Verlag, 2007, pp. 4-17. [abstract]
  • T. Roosta, M. Manzo, and S. S. Sastry, "Time synchronization attacks in sensor networks," in Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks, R. Poovendran, C. Wang, and S. Roy, Eds., Advances in Information Security, Vol. 30, New York, NY: Springer Science+Business Media, LLC, 2007, pp. 325-345.
  • A. D. Ames, A. L. Sangiovanni-Vincentelli, and S. S. Sastry, "Homogeneous semantics preserving deployments of heterogeneous networks of embedded systems," in Networked Embedded Sensing and Control: Workshop Proc. (NESC 2005), P. J. Antsaklis and P. Tabuada, Eds., Lecture Notes in Control and Information, Vol. 331, Berlin, Germany: Springer-Verlag, 2006, pp. 127-154.
  • S. Amin, A. Abate, M. Prandini, J. Lygeros, and S. S. Sastry, "Reachability analysis for controlled discrete time stochastic hybrid systems," in Hybrid Systems: Computation and Control. Proc. 9th Intl. Workshop (HSCC 2006), J. Hespanha and A. Tiwari, Eds., Lecture Notes in Computer Science, Vol. 3927, Berlin, Germany: Springer-Verlag, 2006, pp. 49-63.
  • A. D. Ames, P. Tabuada, and S. S. Sastry, "On the stability of Zeno equilibria," in Hybrid Systems: Computation and Control. Proc. 9th Intl. Conf. (HSCC 2006), J. Hespanha and A. Tiwari, Eds., Lecture Notes in Computer Science, Vol. 3927, Berlin, Germany: Springer-Verlag, 2006, pp. 34-48.
  • A. Y. Ng, H. J. Kim, M. Jordan, and S. S. Sastry, "Autonomous helicopter flight via reinforcement learning," in Advances in Neural Information Processing Systems 16: Proc. 17th Annual Conf. (NIPS 2003), S. Thrun, L. K. Saul, and B. Schoelkopf, Eds., Advances in Neural Information Processing Systems, Vol. 16, Cambridge, MA: MIT Press, 2004, pp. 799-806.
  • T. G. Goktekin, M. C. Cavusoglu, F. Tendick, and S. S. Sastry, "GiPSi: An open source/open architecture software development framework for surgical simulation," in Medical Simulation: Proc. Intl. Symp. (ISMS 2004), S. Cotin and D. Metaxas, Eds., Lecture Notes in Computer Science, Vol. 3078, Berlin, Germany: Springer-Verlag, 2004, pp. 240-248.
  • A. D. Ames and S. S. Sastry, "Affine hybrid systems," in Hybrid Systems: Computation and Control. Proc. 7th Intl. Workshop (HSCC 2004), R. Alur and G. J. Pappas, Eds., Lecture Notes in Computer Science, Vol. 2993, Berlin, Germany: Springer-Verlag, 2004, pp. 16-31.
  • J. Wu, W. Wu, and S. S. Sastry, "Modeling subtilin production in Bacillus subtilis using stochastic hybrid systems," in Hybrid Systems: Computation and Control. Proc. 7th Intl. Workshop (HSCC 2004), R. Alur and G. J. Pappas, Eds., Lecture Notes in Computer Science, Vol. 2993, Berlin, Germany: Springer-Verlag, 2004, pp. 417-431.
  • S. N. Simic and S. S. Sastry, "Distributed environmental monitoring using random sensor networks," in Information Processing in Sensor Networks: Proc. 2nd Intl. Workshop (IPSN 2003), F. Zhao and L. Guibas, Eds., Lecture Notes in Computer Science, Vol. 2634, Berlin, Germany: Springer-Verlag, 2003, pp. 582-592.
  • R. Vidal, A. Chiuso, S. Soatto, and S. S. Sastry, "Observability of linear hybrid systems," in Hybrid Systems: Computation and Control: Proc. 16th Intl. Workshop (HSCC 2003), O. Maler and A. Pnueli, Eds., Lecture Notes in Computer Science, Vol. 2623, Berlin, Germany: Springer-Verlag, 2003, pp. 526-539.
  • T. J. Koo, J. Liebman, C. Ma, B. Horowitz, A. L. Sangiovanni-Vincentelli, and S. S. Sastry, "Platform-based embedded software design for multi-vehicle multi-modal systems," in Embedded Software: Proc. 2nd Intl. Conf. (EMSOFT 2002), A. L. Sangiovanni-Vincentelli and J. Sifakis, Eds., Lecture Notes in Computer Science, Vol. 2491, Berlin, Germany: Springer-Verlag, 2002, pp. 32-45.
  • M. A. Horton, A. Broad, M. Grimmer, K. Pister, S. S. Sastry, T. Rosenbury, and N. A. Whitaker, "Deployment ready multimode micropower wireless sensor networks for intrusion detection, classification, and tracking," in Sensors, and Command, Control, Communications, and Intelligence (C3I): Technologies for Homeland Defense and Law Enforcement, E. M. Carapezza, Ed., Proceeding of SPIE, Vol. 4708, Bellingham, WA: SPIE -- Society of Photo-Optical Instrumentation Engineers, 2002, pp. 290-295.
  • J. Hu and S. S. Sastry, "Symmetry reduction of a class of hybrid systems," in Hybrid Systems: Computation and Control. Proc. 5th Intl. Workshop (HSCC 2002), N. Titterton and M. R. Greenstreet, Eds., Lecture Notes in Computer Science, Vol. 2289, Berlin, Germany: Springer-Verlag, 2002, pp. 267-280.
  • T. J. Koo and S. S. Sastry, "Bisimulation based hierarchical system architecture for single-agent multi-modal systems," in Hybrid Systems: Computation and Control. Proc. 5th Intl. Workshop (HSCC 2002), C. Tomlin and M. R. Greenstreet, Eds., Lecture Notes in Computer Sicne, Vol. 2289, Berlin, Germany: Springer-Verlag, 2002, pp. 281-293.
  • Y. Ma, O. Shakernia, J. Kosecka, and S. S. Sastry, "A Lie theoretic approach to structure and motion in computer vision," in Proc. 14th IFAC World Congress (IFAC 1999), H. F. Chen, D. Z. Cheng, and J. F. Zhang, Eds., IFAC Proceedings, Oxford, UK: Pergamon Press, 1999, pp. 545-550.
  • C. Tomlin, J. Lygeros, and S. S. Sastry, "Computation of controllers for nonlinear hybrid systems," in Proc. 14th IFAC World Congress (IFAC 1999), H. F. Chen, D. Z. Cheng, and J. F. Zhang, Eds., IFAC Proceedings, Vol. E, Oxford, UK: Pergamon Press, 1999, pp. 19-24.
  • A. Bicchi, A. Marigo, G. Pappas, M. Prandini, G. Parlangeli, C. Tomlin, and S. S. Sastry, "Decentralized air traffic management systems: Performance and fault tolerance," in Motion Control (MC 1998): Proc. IFAC Workshop, D. Georges, O. Sename, L. Dugard, and C. Canudas de Wit, Eds., IFAC Proceedings, Kidlington, UK: Elsevier Science, 1999, pp. 259-264.
  • J. Lygeros, D. N. Godbole, and S. S. Sastry, "Optimal control approach to multiagent, hierarchical system verification," in Proceedings of the 13th World Congress International Federation of Automatic Control: Identification II, Discrete Event Systems, J. J. Gertler, J. B. Cruz Jr., M. Peshkin, H. F. Chen, B. Wahlberg, and G. Olsder, Eds., IFAC Proceedings, Vol. J, Oxford, UK: Pergamon Press, 1998, pp. 389-394.
  • C. Tomlin, G. J. Pappas, J. Kosecka, J. Lygeros, and S. S. Sastry, "Advanced air traffic automation: A case study in distributed decentralized control," in Control Problems in Robotics and Automation: Invited Papers from the Intl. Workshop on Control Problems in Robotics and Automation--Future Directions, B. Siciliano and K. P. Valavanis, Eds., Lecture Notes in Control and Information Sciences, Vol. 230, Berlin, Germany: Springer-Verlag, 1998, pp. 261-295.
  • S. R. Burgett, R. T. Bush, S. S. Sastry, and C. H. Séquin, "Mechanical design synthesis from sparse, feature-based input," in Smart Structures and Materials 1995: Mathematics and Control in Smart Structures, V. V. Varadan, Ed., Proceedings of SPIE, Vol. 2442, Bellingham, WA: SPIE -- Society of Photo-Optical Instrumentation Engineeers, 1995, pp. 280-291.
  • G. Burgio, M. D. Di Benedetto, and S. S. Sastry, "Adaptive linearization by dynamic state feedback: A case study," in Nonlinear Control Systems Design 1992. Selected Papers from the 2nd IFAC Symp., M. Fliess, Ed., IFAC Symposia Series, Oxford, UK: Pergamon Press, 1993, pp. 203-208.
  • S. S. Sastry and R. Montgomery, "The structure of optimal control for a steering problem," in Nonlinear Control Systems Design 1992. Selected Papers from the 2nd IFAC Symp., M. Fliess, Ed., IFAC Symposia Series, Oxford, UK: Pergamon Press, 1993, pp. 135-140.
  • R. M. Murray, G. Walsh, and S. S. Sastry, "Stabilization and tracking for nonholonomic control systems using time-varying state feedback," in Nonlinear Control Systems Design 1992. Selected Papers from the 2nd IFAC Symp., M. Fliess, Ed., IFAC Symposia Series, Oxford, UK: Pergamon Press, 1993, pp. 109-114.
  • S. S. Sastry, "The effects of small noise on nonlinear dynamical systems," in Bridge between Control Science and Technology: Proc. 9th Triennial IFAC World Congress, J. Gertler and L. Keviczky, Eds., Oxford, UK: Pergamon Press, 1985, pp. 1543-1547.
  • S. S. Sastry, J. E. Marsden, and P. J. Holmes, "Dyamical Systems and Invariant Manifolds," in New Approaches to Nonlinear Problems in Dynamics: Proc. Engineering Foundation Conf., P. J. Holmes, Ed., Philadelphia, PA: SIAM Press, 1980, pp. 3-25.

Articles in journals or magazines

Articles in conference proceedings

Technical Reports

Ph.D. Theses