2000 Publications

 

 

  • J. P, Hespanha, M. Prandini and S. Sastry, “Probabilistic pursuit-evasion games: a one-step Nash app.roach,” Proc. 39th IEEE Conf. on Decision and Control, vol. 3, pp. 2272-2277, Dec. 2000. [pdf]
  • J. Hu, J. Lygeros and S. Sastry, “Towards a theory of stochastic hybrid system,” Hybrid Systems Computation and Control (HSCC) in Lecture Notes in Computer Science, vol. 1790, pp. 160-173, 2000. [pdf]
  •  J. Hu, M. Prandini and S. Sastry, “Optimal maneuver for multiple aircraft conflict resolution: a braid point of view,” Proc. 39th IEEE Conf. on Decision and Control, vol. 4, pp. 4164-4169, Dec. 2000. [pdf]
  •  K. H. Johansson, J. Lygeros, J. Zhang and S. Sastry, “Hybrid automata: a formal paradigm for heterogeneous modeling,” Proc. IEEE Intern. Symposium on Computer-Aided Control System Design, pp. 123-128, Sept. 2000. [pdf]
  • H. J. Kim, D. H. Shim, S. Rashid and S. Sastry, “Hierarchical systems for multi-agent systems,”. IEEE. Conf. on Decisions and Control. Sydney, 2000. (submitted, no record)
  • J. Kosecka, Y. Ma and S. Sastry, “Optimization criteria, sensitivity and robustness of motion and structure estimation,” Vision Algorithms: Theory and Practice, Triggs, Zisserman, Szeliski and Berlin (Eds.) Springer Verlag, in Lecture Notes in Computer Science, vol. 1883, pp. 166-182, 2000. [pdf]
  • G. Lafferierre, G. J. Papp.as, and S. Sastry, “O-minimal hybrid systems,” Mathematics of Control, Signals, and Systems, vol. 13(1), pp. 1-21, March 2000. [pdf]
  • E. S. Lemch, S. Sastry and P. E. Caines, “On the global controllability of hybrid systems: hybrifolds and fountains,” Proc. 39th IEEE Conf. on  Decision and Control, vol. 1, pp. 981-986, Dec. 2000. [pdf]
  • Y. Ma, J. Kosecka and S. Sastry, “Linear differential algorithm for motion recovery: a geometric app.roach,” Intern. J. of Computer Vision, vol. 36(1), pp. 71-89, Jan 2000. [pdf]
  • Y. Ma, S. Soatto, J. Kosecka and S. Sastry, “Euclidean reconstruction and reprojection up to subgroups,” Intern. J. Computer Vision, vol. 38(3), pp. 219-229. July 2000. [pdf]
  •  Y. Ma, R. Vidal, J. Kosecka and S. Sastry, “Kruppa equation revisited: its renormalization and degeneracy,” European Conf. Computer Vision, vol. 2 pp. 561-577, 2000. [pdf]
  • G. J. Pappas, G. Lafferierre and S. Sastry, “Hierarchically consistent control systems,”. IEEE Transactions on Automatic Control, vol. 45(6), pp. 1144-1160, June 2000. [pdf]
  • M. Prandini, J. Hu, J. Lygeros and S. Sastry, “A probabilistic approach to aircraft conflict detection,”. IEEE Transactions on Intelligent Transportation Systems, vol. 1(4), pp. 199-220, Dec. 2000. [pdf]
  •  O. Shakernia, G. J. Pappas and S. Sastry, “Semidecidable controller synthesis for classes of linear hybrid systems,” Proc. 39th IEEE Conf. on Decision and Control, vol. 2, pp. 1834-1839, Dec. 2000. [pdf]
  • O. Shakernia, S. Sastry and G. Pappas, “Decidable controller synthesis for classes of linear systems,” “Hybrid Systems: Computation and Control” pp. 407-420, March 2000. [pdf]
  • D. H. Shim, H. J. Kim and S. Sastry, “Control system design for rotorcraft-based unmanned aerial vehicles using time-domain system identification,” Proc. IEEE Intern. Conf on Control App.lications, Anchorage, AK, vol. 1 pp. 808-813, Sept. 2000. [pdf]
  • D. H.Shim, H. J. Kim and S. Sastry, “Hierarchical control system synthesis for rotorcraft-based unmanned aerial vehicles,”. AIAA Guidance, Navigation and Control Conf. Denver, CO., August 2000. [pdf]
  • S. N. Simic, K. H. Johansson, S. Sastry and J. Lygeros, “Towards a geometric theory of hybrid systems,” Hybrid Systems: Computation and Control. 3rd International Workshop, Pittsburgh, PA, March. Lecture Notes in Computer Science, vol. 1790, pp. 421-436, 2000. [pdf]
  • C. J. Tomlin, J. Lygeros, and S. Sastry, “A game theoretic approach to controller design for hybrid systems,” Proc. IEEE., vol. 88(7), pp. 949-970, July 2000. [pdf]
  • R. Vidal, S. Schaffert, J. Lygeros and S. Sastry, “Controlled invariance of discrete time systems,” Hybrid Systems: Computation and Control, in Lecture notes in Computer Science, vol. 1790, pp. 437-450. 2000. [pdf]
  • R. Vidal, O. Shakernia and S. Sastry, “Controlled invariance of discrete time systems by robust semidefinite programming,”39th IEEE Conference on Decision and Control, pp. 1834-1839, Sydney, Australia, December 2000..( no record)
  • J. Zhang, K. H. Johansson, S. Sastry, and J. Lygeros, “Dynamical systems revisited: hybrid systems with zeno executions,” Hybrid Systems: Computation and Control, , B. Krogh and N. Lynch, (Eds.). Springer-Verlag, in Lecture Notes in Computer Science, vol. 1790, pp. 451-464, 2000. [pdf]