Shankar S. Sastry
List of publications from the DBLP Bibliography Server - FAQ
2009 | ||
---|---|---|
108 | EE | Saurabh Amin, Alvaro A. Cárdenas, Shankar Sastry: Safe and Secure Networked Control Systems under Denial-of-Service Attacks. HSCC 2009: 31-45 |
2008 | ||
107 | EE | Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry: Markov Set-Chains as Abstractions of Stochastic Hybrid Systems. HSCC 2008: 1-15 |
106 | EE | Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry: Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps. HSCC 2008: 598-601 |
105 | EE | Alvaro A. Cárdenas, Saurabh Amin, Shankar Sastry: Research Challenges for the Security of Control Systems. HotSec 2008 |
104 | EE | Alvaro A. Cárdenas, Saurabh Amin, Shankar Sastry: Secure Control: Towards Survivable Cyber-Physical Systems. ICDCS Workshops 2008: 495-500 |
103 | EE | Vincent Duindam, Ron Alterovitz, Shankar Sastry, Kenneth Y. Goldberg: Screw-based motion planning for bevel-tip flexible needles in 3D environments with obstacles. ICRA 2008: 2483-2488 |
102 | EE | Yongsoon Yoon, Jae Mann Park, H. Jin Kim, Shankar Sastry: Utilizing parallax information for collisionavoidancein dynamic environments. IROS 2008: 4186 |
101 | EE | Tanya Roosta, Wei-Chieh Liao, Wei-Chung Teng, Shankar Sastry: Testbed Implementation of a Secure Flooding Time Synchronization Protocol. WCNC 2008: 3157-3162 |
100 | EE | Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica 44(11): 2724-2734 (2008) |
2007 | ||
99 | EE | Sameer Pai, Tanya Roosta, Stephen Wicker, Shankar Sastry: Using Social Network Theory Towards Development of Wireless Ad Hoc Network Trust. AINA Workshops (1) 2007: 443-450 |
98 | EE | Tanya Roosta, Sameer Pai, Phoebus Chen, Shankar Sastry, Stephen Wicker: Inherent Security of Routing Protocols in Ad-Hoc and Sensor Networks. GLOBECOM 2007: 1273-1278 |
97 | EE | Shankar Sastry: Networked Embedded Systems: From Sensor Webs to Cyber-Physical Systems. HSCC 2007: 1 |
96 | EE | Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry: Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems. HSCC 2007: 4-17 |
95 | EE | Alessandro Abate, Alessandro D'Innocenzo, Giordano Pola, Maria Domenica Di Benedetto, Shankar Sastry: The Concept of Deadlock and Livelock in Hybrid Control Systems. HSCC 2007: 628-632 |
94 | EE | Antti Vehkaoja, Mari Zakrzewski, Jukka Lekkala, Sameer Iyengar, Ruzena Bajcsy, Steven Glaser, Shankar Sastry, Roozbeh Jafari: A resource optimized physical movement monitoring scheme for environmental and on-body sensor networks. HealthNet 2007: 64-66 |
93 | EE | Marci Meingast, Songhwai Oh, Shankar Sastry: Automatic Camera Network Localization using Object Image Tracks. ICCV 2007: 1-8 |
92 | EE | Todd Templeton, David Hyunchul Shim, Christopher Geyer, Shankar Sastry: Autonomous Vision-based Landing and Terrain Mapping Using an MPC-controlled Unmanned Rotorcraft. ICRA 2007: 1349-1356 |
91 | EE | Vincent Duindam, Shankar Sastry: Geometric motion estimation and control for robotic-assisted beating-heart surgery. IROS 2007: 871-876 |
90 | EE | Jeremy Schiff, Marci Meingast, Deirdre K. Mulligan, Shankar Sastry, Kenneth Y. Goldberg: Respectful cameras: detecting visual markers in real-time to address privacy concerns. IROS 2007: 971-978 |
89 | EE | Cyrus L. Harmon, Parvez Ahammad, Ann Hammonds, Richard Weiszmann, Susan E. Celniker, Shankar Sastry, Gerald M. Rubin: Comparative Analysis of Spatial Patterns of Gene Expression in Drosophila melanogaster Imaginal Discs. RECOMB 2007: 533-547 |
88 | EE | Phoebus Chen, Shankar Sastry: Latency and connectivity analysis tools for wireless mesh networks. ROBOCOMM 2007: 33 |
87 | EE | Janos Sztipanovits, John Bay, Larry Rohrbough, Shankar Sastry, Douglas C. Schmidt, Norm Whitaker, Don Wilson, Don Winter: Escher: A New Technology Transitioning Model. IEEE Computer 40(3): 90-92 (2007) |
2006 | ||
86 | EE | Christopher Geyer, Todd Templeton, Marci Meingast, Shankar Sastry: The Recursive Multi-Frame Planar Parallax Algorithm. 3DPVT 2006: 17-24 |
85 | EE | Shankar Sastry: TRUST: in cyberspace and beyond. ASIACCS 2006: 13 |
84 | EE | Aaron D. Ames, Paulo Tabuada, Shankar Sastry: On the Stability of Zeno Equilibria. HSCC 2006: 34-48 |
83 | EE | Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry: Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems. HSCC 2006: 49-63 |
82 | Songhwai Oh, Phoebus Chen, Michael Manzo, Shankar Sastry: Instrumenting Wireless Sensor Networks for Real-time Surveillance. ICRA 2006: 3128-3133 | |
81 | EE | Shankar Sastry: Beyond SensorWebs: closing the loop in network embedded systems. IPSN 2006: 117 |
80 | EE | René Vidal, Yi Ma, Stefano Soatto, Shankar Sastry: Two-View Multibody Structure from Motion. International Journal of Computer Vision 68(1): 7-25 (2006) |
2005 | ||
79 | EE | Ameesh Makadia, Christopher Geyer, Shankar Sastry, Kostas Daniilidis: Radon-Based Structure from Motion without Correspondences. CVPR (1) 2005: 796-803 |
78 | EE | Parvez Ahammad, Cyrus L. Harmon, Ann Hammonds, Shankar Sastry, Gerald M. Rubin: Joint Nonparametric Alignment for Analyzing Spatial Gene Expression Patterns in Drosophila Imaginal Discs. CVPR (2) 2005: 755-760 |
77 | EE | Aaron D. Ames, Shankar Sastry: A Homology Theory for Hybrid Systems: Hybrid Homology. HSCC 2005: 86-102 |
76 | Songhwai Oh, Luca Schenato, Shankar Sastry: A Hierarchical Multiple-Target Tracking Algorithm for Sensor Networks. ICRA 2005: 2197-2202 | |
75 | Luca Schenato, Songhwai Oh, Shankar Sastry, Prasanta K. Bose: Swarm Coordination for Pursuit Evasion Games using Sensor Networks. ICRA 2005: 2493-2498 | |
74 | EE | Songhwai Oh, Shankar Sastry: Tracking on a graph. IPSN 2005: 195-202 |
73 | EE | Volkan Isler, Dengfeng Sun, Shankar Sastry: Roadmap Based Pursuit-Evasion and Collision Avoidance. Robotics: Science and Systems 2005: 257-264 |
72 | EE | Michael Manzo, Tanya Roosta, Shankar Sastry: Time synchronization attacks in sensor networks. SASN 2005: 107-116 |
71 | EE | Marci Meingast, Christopher Geyer, Shankar Sastry: Geometric Models of Rolling-Shutter Cameras CoRR abs/cs/0503076: (2005) |
70 | EE | René Vidal, Yi Ma, Shankar Sastry: Generalized Principal Component Analysis (GPCA). IEEE Trans. Pattern Anal. Mach. Intell. 27(12): 1945-1959 (2005) |
69 | EE | Jianghai Hu, Maria Prandini, Shankar Sastry: Aircraft conflict prediction in the presence of a spatially correlated wind field. IEEE Transactions on Intelligent Transportation Systems 6(3): 326-340 (2005) |
68 | EE | Jonathan Sprinkle, Aaron D. Ames, J. Mikael Eklund, Ian M. Mitchell, Shankar Sastry: Online safety calculations for glide-slope recapture. ISSE 1(2): 157-175 (2005) |
2004 | ||
67 | EE | Aaron D. Ames, Shankar Sastry: Affine Hybrid Systems. HSCC 2004: 16-31 |
66 | EE | Jianghai Hu, Wei Chung Wu, Shankar Sastry: Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems. HSCC 2004: 417-431 |
65 | EE | Tolga Goktekin, Murat Cenk Cavusoglu, Frank Tendick, Shankar Sastry: GiPSi: An Open Source/Open Architecture Software Development Framework for Surgical Simulation. ISMS 2004: 240-248 |
64 | EE | Ruzena Bajcsy, Terry Benzel, Matt Bishop, Robert Braden, Carla E. Brodley, Sonia Fahmy, Sally Floyd, W. Hardaker, Anthony D. Joseph, George Kesidis, Karl N. Levitt, Robert Lindell, Peng Liu, David Miller, Russ Mundy, Cliford Neuman, Ron Ostrenga, Vern Paxson, Phillip A. Porras, Catherine Rosenberg, J. Doug Tygar, Shankar Sastry, Daniel F. Sterne, Shyhtsun Felix Wu: Cyber defense technology networking and evaluation. Commun. ACM 47(3): 58-61 (2004) |
63 | EE | Yi Ma, Kun Huang, René Vidal, Jana Kosecka, Shankar Sastry: Rank Conditions on the Multiple-View Matrix. International Journal of Computer Vision 59(2): 115-137 (2004) |
2003 | ||
62 | EE | René Vidal, Yi Ma, Shankar Sastry: Generalized Principal Component Analysis (GPCA). CVPR (1) 2003: 621-628 |
61 | EE | René Vidal, Shankar Sastry: Optimal Segmentation of Dynamic Scenes from Two Perspective Views. CVPR (2) 2003: 281-286 |
60 | EE | René Vidal, Alessandro Chiuso, Stefano Soatto, Shankar Sastry: Observability of Linear Hybrid Systems. HSCC 2003: 526-539 |
59 | Xinyan Deng, Luca Schenato, Shankar Sastry: Model identification and attitude control for a micromechanical flying insect including thorax and sensor models. ICRA 2003: 1152-1157 | |
58 | Shannon Zelinski, Tak-John Koo, Shankar Sastry: Optimization-based formation reconfiguration planning for autonomous vehicles. ICRA 2003: 3758-3763 | |
57 | Omid Shakernia, René Vidal, Shankar Sastry: Multibody motion estimation and segmentation from multiple central panoramic views. ICRA 2003: 571-576 | |
56 | René Vidal, Omid Shakernia, Shankar Sastry: Formation control of nonholonomic mobile robots with omnidirectional visual servoing and motion segmentation. ICRA 2003: 584-589 | |
55 | EE | Slobodan N. Simic, Shankar Sastry: Distributed Environmental Monitoring Using Random Sensor Networks. IPSN 2003: 582-592 |
54 | EE | Andrew Y. Ng, H. Jin Kim, Michael I. Jordan, Shankar Sastry: Autonomous Helicopter Flight via Reinforcement Learning. NIPS 2003 |
53 | Benjamin Horowitz, Judith Liebman, Cedric Ma, Tak-John Koo, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry: Platform-based embedded software design and system integration for autonomous vehicles. Proceedings of the IEEE 91(1): 198-211 (2003) | |
52 | Shankar Sastry, Janos Sztipanovits, Ruzena Bajcsy, H. Gill: Scanning the issue - special issue on modeling and design of embedded software. Proceedings of the IEEE 91(1): 3-10 (2003) | |
2002 | ||
51 | EE | Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry: Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems. EMSOFT 2002: 32-45 |
50 | EE | Jianghai Hu, Shankar Sastry: Symmetry Reduction of a Class of Hybrid Systems. HSCC 2002: 267-280 |
49 | EE | Tak-John Koo, Shankar Sastry: Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems. HSCC 2002: 281-293 |
48 | EE | Murat Cenk Cavusoglu, Tolga Goktekin, Frank Tendick, Shankar Sastry: Framework for Open Source Software Development for Organ Simulation in the Digital Human. HiPC 2002: 713-714 |
47 | EE | Xinyan Deng, Luca Schenato, Shankar Sastry: Model identification and attitude control scheme for a micromechanical flying insect. ICARCV 2002: 1007-1012 |
46 | EE | Luca Schenato, Wei Chung Wu, Shankar S. Sastry: Attitude control for a micromechanical flying insect via sensor output feedback. ICARCV 2002: 1031-1036 |
45 | Omid Shakernia, René Vidal, Courtney S. Sharp, Yi Ma, Shankar Sastry: Multiple View Motion Estimation and Control for Landing an Unmanned Aerial Vehicle. ICRA 2002: 2793-2798 | |
44 | H. Jin Kim, David Hyunchul Shim, Shankar Sastry: Flying Robots: Modeling, Control and Decision Making. ICRA 2002: 66-71 | |
2001 | ||
43 | EE | Shankar Sastry: Control of Networks of Unmanned Vehicles. CONCUR 2001: 36 |
42 | EE | Tak-John Koo, Judith Liebman, Cedric Ma, Shankar Sastry: Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software. EMSOFT 2001: 344-360 |
41 | EE | Jianghai Hu, Maria Prandini, Karl Henrik Johansson, Shankar Sastry: Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem. HSCC 2001: 305-318 |
40 | EE | Tak-John Koo, George J. Pappas, Shankar Sastry: Mode Switching Synthesis for Reachability Specifications. HSCC 2001: 333-346 |
39 | EE | Ekaterina S. Lemch, Shankar Sastry, Peter E. Caines: Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings. HSCC 2001: 375-386 |
38 | EE | Omid Shakernia, George J. Pappas, Shankar Sastry: Semi-decidable Synthesis for Triangular Hybrid Systems. HSCC 2001: 487-500 |
37 | René Vidal, Yi Ma, Shawn Hsu, Shankar Sastry: Optimal Motion Estimation from Multiview Normalized Epipolar Constraint. ICCV 2001: 34-41 | |
36 | Luca Schenato, Xinyan Deng, Shankar Sastry: Flight Control System for a Micromechanical Flying Insect: Architecture and Implementation. ICRA 2001: 1641-1646 | |
35 | Courtney S. Sharp, Omid Shakernia, Shankar Sastry: A Vision System for Landing an Unmanned Aerial Vehicle. ICRA 2001: 1720-1727 | |
34 | René Vidal, Shahid Rashid, Courtney S. Sharp, Omid Shakernia, Jin Kim, Shankar Sastry: Pursuit-Evasion Games with Unmanned Ground and Aerial Vehicles. ICRA 2001: 2948-2955 | |
33 | Luca Schenato, Xinyan Deng, Wei Chung Wu, Shankar Sastry: Virtual Insect Flight Simulator (VIFS): a Software Testbed for Insect Flight. ICRA 2001: 3885-3892 | |
32 | Yi Ma, Jana Kosecka, Shankar Sastry: Optimization Criteria and Geometric Algorithms for Motion and Structure Estimation. International Journal of Computer Vision 44(3): 219-249 (2001) | |
2000 | ||
31 | EE | Yi Ma, René Vidal, Jana Kosecka, Shankar Sastry: Kruppa Equation Revisited: Its Renormalization and Degeneracy. ECCV (2) 2000: 561-577 |
30 | EE | Jianghai Hu, John Lygeros, Shankar Sastry: Towars a Theory of Stochastic Hybrid Systems. HSCC 2000: 160-173 |
29 | EE | Omid Shakernia, Shankar Sastry, George J. Pappas: Decidable Controller Synthesis for Classes of Linear Systems. HSCC 2000: 407-420 |
28 | EE | Slobodan N. Simic, Karl Henrik Johansson, Shankar Sastry, John Lygeros: Towards a Geometric Theory of Hybrid Systems. HSCC 2000: 421-436 |
27 | EE | René Vidal, Shawn Schaffert, John Lygeros, Shankar Sastry: Controlled Invariance of Discrete Time Systems. HSCC 2000: 437-450 |
26 | EE | Jun Zhang, Karl Henrik Johansson, John Lygeros, Shankar Sastry: Dynamical Systems Revisited: Hybrid Systems with Zeno Executions. HSCC 2000: 451-464 |
25 | EE | Maria Prandini, Jianghai Hu, John Lygeros, Shankar Sastry: A probabilistic approach to aircraft conflict detection. IEEE Transactions on Intelligent Transportation Systems 1(4): 199-220 (2000) |
24 | Yi Ma, Jana Kosecka, Shankar Sastry: Linear Differential Algorithm for Motion Recovery: A Geometric Approach. International Journal of Computer Vision 36(1): 71-89 (2000) | |
23 | Yi Ma, Stefano Soatto, Jana Kosecka, Shankar Sastry: Euclidean Reconstruction and Reprojection Up to Subgroups. International Journal of Computer Vision 38(3): 219-229 (2000) | |
1999 | ||
22 | Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry: Hybrid Systems V Springer 1999 | |
21 | EE | Claire Tomlin, John Lygeros, Shankar Sastry: Computing Controllers for Nonlinear Hybrid Systems. HSCC 1999: 238-255 |
20 | EE | Magnus Egerstedt, Tak-John Koo, Frank Hoffmann, Shankar Sastry: Path Planning and Flight Controller Scheduling for an Autonomous Helicopter. HSCC 1999: 91-102 |
19 | EE | Yi Ma, Stefano Soatto, Jana Kosecka, Shankar Sastry: Euclidean Reconstruction and Reprojection up to Subgroups. ICCV 1999: 773-780 |
18 | EE | Jana Kosecka, Yi Ma, Shankar Sastry: Optimization Criteria, Sensitivity and Robustness of Motion and Structure Estimation. Workshop on Vision Algorithms 1999: 166-182 |
1998 | ||
17 | Thomas A. Henzinger, Shankar Sastry: Hybrid Systems: Computation and Control, First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings Springer 1998 | |
16 | EE | Yi Ma, Jana Kosecka, Shankar Sastry: Motion Recovery from Image Sequences: Discrete Viewpoint vs. Differential Viewpoint. ECCV (2) 1998: 337-353 |
15 | Gerardo Lafferriere, George J. Pappas, Shankar Sastry: Subanalytic Stratifications and Bisimulations. HSCC 1998: 205-220 | |
14 | John Lygeros, George J. Pappas, Shankar Sastry: An Approach to the Verification of the Center-TRACON Automation System. HSCC 1998: 289-304 | |
13 | Claire Tomlin, John Lygeros, Shankar Sastry: Synthesizing Controllers for Nonlinear Hybrid Systems. HSCC 1998: 360-373 | |
1997 | ||
12 | Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry: Hybrid Systems IV Springer 1997 | |
11 | Shankar Sastry: Hybrid Control Issues in Ais Traffic Management Systems (Abstract). HART 1997: 108 | |
10 | John Lygeros, Claire Tomlin, Shankar Sastry: Multiobjective Hybrid Controller Synthesis. HART 1997: 109-123 | |
9 | EE | Gerardo Lafferriere, George J. Pappas, Shankar Sastry: Hybrid Systems with Finite Bisimulations. Hybrid Systems 1997: 186-203 |
8 | EE | Shankar Sastry, Michael Cohn, Frank Tendick: Milli-robotics for remote, minimally invasive surgery. Robotics and Autonomous Systems 21(3): 305-316 (1997) |
1996 | ||
7 | George J. Pappas, Shankar Sastry: Towards Continuous Abstractions of Dynamical and Control Systems. Hybrid Systems 1996: 329-341 | |
6 | Claire Tomlin, George J. Pappas, John Lygeros, Datta N. Godbole, Shankar Sastry: Hybrid Control Models of Next Generarion AIr Traffic Management. Hybrid Systems 1996: 378-404 | |
1995 | ||
5 | Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry: Hybrid Systems II Springer 1995 | |
4 | John Lygeros, Datta N. Godbole, Shankar Sastry: A Game-Theoretic Approach to Hybrid System Design. Hybrid Systems 1995: 1-12 | |
3 | Linda G. Bushnell, Dawn M. Tilbury, Shankar Sastry: Steering Three-Input Nonholonomic Systems: The Fire Truck Example. I. J. Robotic Res. 14(4): 366-381 (1995) | |
1994 | ||
2 | Datta N. Godbole, John Lygeros, Shankar Sastry: Hierarchical Hybrid Control: A Case Study. Hybrid Systems 1994: 166-190 | |
1989 | ||
1 | Zexiang Li, Ping Hsu, Shankar Sastry: Grasping and Coordinated Manipulation by a Multifingered Robot Hand. I. J. Robotic Res. 8(4): 33-50 (1989) |