Geometric and Algorithmic Techniques for Design and Verification of Hybrid Control Systems
暂无分享,去创建一个
[1] Lydia E. Kavraki,et al. Probabilistic roadmaps for path planning in high-dimensional configuration spaces , 1996, IEEE Trans. Robotics Autom..
[2] Edmund M. Clarke,et al. Verification Tools for Finite-State Concurrent Systems , 1993, REX School/Symposium.
[3] Naomi Ehrich Leonard,et al. Controllability and motion algorithms for underactuated Lagrangian systems on Lie groups , 2000, IEEE Trans. Autom. Control..
[4] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[5] P. Saint-Pierre,et al. Optimal times for constrained nonlinear control problems without local controllability , 1997 .
[6] James A. Hendler,et al. A motion description language and a hybrid architecture for motion planning with nonholonomic robots , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.
[7] Vijay Kumar,et al. Hybrid control of formations of robots , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).
[8] Moëz Cherif. Kinodynamic motion planning for all-terrain wheeled vehicles , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).
[9] John F. Canny,et al. An exact algorithm for kinodynamic planning in the plane , 1991, Discret. Comput. Geom..
[10] Emilio Frazzoli,et al. Aggressive Maneuvering of Small Autonomous Helicopters: A Human-Centered Approach , 2001, Int. J. Robotics Res..
[11] R. Larson,et al. A survey of dynamic programming computational procedures , 1967, IEEE Transactions on Automatic Control.
[12] Emilio Frazzoli,et al. Trajectory tracking control design for autonomous helicopters using a backstepping algorithm , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).
[13] Pierre Bessière,et al. The Ariadne's Clew Algorithm , 1993, J. Artif. Intell. Res..
[14] Jean-Claude Latombe,et al. Robot Motion Planning: A Distributed Representation Approach , 1991, Int. J. Robotics Res..
[15] Steven M. LaValle,et al. Quasi-randomized path planning , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).
[16] Thomas A. Henzinger,et al. Assume-Guarantee Reasoning for Hierarchical Hybrid Systems , 2001, HSCC.
[17] Leonidas J. Guibas,et al. H-Walk: hierarchical distance computation for moving convex bodies , 1999, SCG '99.
[18] John H. Reif,et al. Complexity of the mover's problem and generalizations , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
[19] Robert E. Larson,et al. Principles of Dynamic Programming , 1978 .
[20] Alfred A. Rizzi,et al. Robust and efficient motion planning for a planar robot using hybrid control , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).
[21] Rajeev Sharma,et al. On Motion Planning in Changing, Partially Predictable Environments , 1997, Int. J. Robotics Res..
[22] Pravin Varaiya,et al. Ellipsoidal Techniques for Reachability Analysis , 2000, HSCC.
[23] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[24] Colm Ó'Dúnlaing. Motion planning with inertial constraints , 2005, Algorithmica.
[25] Oussama Khatib,et al. Real-Time Obstacle Avoidance for Manipulators and Mobile Robots , 1986 .
[26] Stavros Tripakis,et al. Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations , 2000, HSCC.
[27] A. Prasad Sistla,et al. Utilizing symmetry when model-checking under fairness assumptions: an automata-theoretic approach , 1997, TOPL.
[28] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[29] J. Marsden,et al. Introduction to mechanics and symmetry , 1994 .
[30] A. Nerode,et al. Logics for hybrid systems , 2000, Proceedings of the IEEE.
[31] M. Branicky,et al. A fast marching algorithm for hybrid systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[32] Jürgen Dingel,et al. Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving , 1995, CAV.
[33] David L. Dill,et al. Better verification through symmetry , 1996, Formal Methods Syst. Des..
[34] M. Branicky,et al. Algorithms for optimal hybrid control , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.
[35] Vipin Kumar,et al. A parallel formulation of informed randomized search for robot motion planning problems , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.
[36] Michael S. Branicky,et al. A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies , 2002, HSCC.
[37] Jean-Paul Laumond,et al. Finding Collision-Free Smooth Trajectories for a Non-Holonomic Mobile Robot , 1987, IJCAI.
[38] Thomas A. Henzinger,et al. Reactive Modules , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[39] Stavros Tripakis,et al. The Tool KRONOS , 1996, Hybrid Systems.
[40] Rajeev Motwani,et al. Path Planning in Expansive Configuration Spaces , 1999, Int. J. Comput. Geom. Appl..
[41] P. Krishnaprasad,et al. Nonholonomic mechanical systems with symmetry , 1996 .
[42] V. Arnold. Mathematical Methods of Classical Mechanics , 1974 .
[43] Jean-Claude Latombe,et al. Nonholonomic multibody mobile robots: Controllability and motion planning in the presence of obstacles , 2005, Algorithmica.
[44] H. P. Williams,et al. Computational logic and integer programming , 1996 .
[45] P. Rouchon,et al. Invariant tracking and stabilization: problem formulation and examples , 1999 .
[46] Thomas A. Henzinger,et al. HYTECH: The Cornell HYbrid TECHnology Tool , 1994, Hybrid Systems.
[47] Emilio Frazzoli,et al. A hybrid control architecture for aggressive maneuvering of autonomous helicopters , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[48] Bruce H. Krogh,et al. Verification of infinite-state dynamic systems using approximate quotient transition systems , 2001, IEEE Trans. Autom. Control..
[49] Brian Mirtich,et al. V-Clip: fast and robust polyhedral collision detection , 1998, TOGS.
[50] T. Henzinger,et al. Algorithmic Analysis of Nonlinear Hybrid Systems , 1998, CAV.
[51] Jean-Paul Laumond,et al. Guidelines in nonholonomic motion planning for mobile robots , 1998 .
[52] Nancy A. Lynch,et al. Hierarchical correctness proofs for distributed algorithms , 1987, PODC '87.
[53] R. Bellman. Dynamic programming. , 1957, Science.
[54] S. LaValle. Rapidly-exploring random trees : a new tool for path planning , 1998 .
[55] Nancy A. Lynch,et al. Hybrid I/O Automata Revisited , 2001, HSCC.
[56] Yong Yu,et al. On sensor-based roadmap: a framework for motion planning for a manipulator arm in unknown environments , 1998, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190).
[57] John Lygeros,et al. Hierarchical, Hybrid Control of Large Scale Systems , 1996 .
[58] Jan C. Willems,et al. Representations of symmetric linear dynamical systems , 1993 .
[59] Michael S. Branicky. Behavioral Programming: Enabling a "Middle-Out" Approach to Learning and Intelligent Systems , 1998 .
[60] Nancy M. Amato,et al. A randomized roadmap method for path and manipulation planning , 1996, Proceedings of IEEE International Conference on Robotics and Automation.
[61] Hassen Saïdi,et al. Construction of Abstract State Graphs with PVS , 1997, CAV.
[62] V. Borkar,et al. A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..
[63] Chung-Wah Norris Ip,et al. State reduction methods for automatic formal verification , 1996 .
[64] S. L. Valle. Numerical computation of optimal navigation functions on a simplicial complex , 1998 .
[65] Amir Pnueli,et al. In Transition From Global to Modular Temporal Reasoning about Programs , 1989, Logics and Models of Concurrent Systems.
[66] Martín Abadi,et al. Conjoining specifications , 1995, TOPL.
[67] Roger D. Quinn,et al. Modeling and throughput prediction for flexible parts feeders , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).
[68] Ian M. Mitchell,et al. Level Set Methods for Computation in Hybrid Systems , 2000, HSCC.
[69] Wyatt S. Newman,et al. Design lessons for building agile manufacturing systems , 2000, IEEE Trans. Robotics Autom..
[70] Nicola Elia,et al. Stabilization of linear systems with limited information , 2001, IEEE Trans. Autom. Control..
[71] Gerardo Lafferriere,et al. A New Class of Decidable Hybrid Systems , 1999, HSCC.
[72] E. Feron,et al. Robust hybrid control for autonomous vehicle motion planning , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).
[73] Bowen Alpern,et al. Defining Liveness , 1984, Inf. Process. Lett..
[74] S. Shankar Sastry,et al. Hierarchically consistent control systems , 2000, IEEE Trans. Autom. Control..
[75] M. Branicky,et al. Solving hybrid control problems: level sets and behavioral programming , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).
[76] Roger D. Quinn,et al. Toward a science of flexible feeding , 1999, 1999 IEEE/ASME International Conference on Advanced Intelligent Mechatronics (Cat. No.99TH8399).
[77] Vijay Kumar,et al. Efficient dynamic simulation of robotic systems with hierarchy , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).
[78] Emilio Frazzoli,et al. Online techniques for behavioral programming , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).
[79] Wyatt S. Newman,et al. Force-responsive robotic assembly of transmission components , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).
[80] Michael S. Branicky,et al. Fast marching for hybrid control , 1999, Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).
[81] Emilio Frazzoli,et al. Real-Time Motion Planning for Agile Autonomous Vehicles , 2000 .
[82] Steven M. LaValle,et al. Randomized Kinodynamic Planning , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).
[83] Rajeev Sharma,et al. Optimizing robot motion strategies for assembly with stochastic models of the assembly process , 1996, Proceedings. IEEE International Symposium on Assembly and Task Planning.