Hybrid systems tools for compiling controllers for cyber-physical systems
暂无分享,去创建一个
[1] Magnus Egerstedt,et al. Graph process specifications for hybrid networked systems , 2010, WODES.
[2] H. Axelsson,et al. TRANSITION-TIME OPTIMIZATION FOR SWITCHED SYSTEMS , 2005 .
[3] Insup Lee,et al. Opportunities and Obligations for Physical Computing Systems , 2005, Computer.
[4] Antonio Bicchi,et al. Feedback encoding for efficient symbolic control of dynamical systems , 2006, IEEE Transactions on Automatic Control.
[5] Munther A. Dahleh,et al. Maneuver-based motion planning for nonlinear systems with symmetries , 2005, IEEE Transactions on Robotics.
[6] Anthony Rowe,et al. Profiling primitives of networked embedded automation , 2009, 2009 IEEE International Conference on Automation Science and Engineering.
[7] James A. Hendler,et al. Languages, behaviors, hybrid architectures, and motion control , 1998 .
[8] Jim Moran. Opportunities and Obligations , 2005 .
[9] Magnus Egerstedt,et al. Transition-time optimization for switched-mode dynamical systems , 2006, IEEE Transactions on Automatic Control.
[10] Eric Klavins. A Formal Model of a Multi-Robot Control and Communication Task , 2003 .
[11] Magnus Egerstedt,et al. Expanding motion programs under input constraints , 2010, Proceedings of the 2010 American Control Conference.
[12] Roger W. Brockett,et al. On the computer control of movement , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.
[13] Magnus Egerstedt,et al. Timing Control of Switched Systems with Applications to Robotic Marionettes , 2010, Discret. Event Dyn. Syst..
[14] Yushan Chen,et al. A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment , 2010, DARS.
[15] Magnus Egerstedt,et al. Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes , 2009, HSCC.
[16] Daniel E. Koditschek,et al. Sequential Composition of Dynamically Dexterous Robot Behaviors , 1999, Int. J. Robotics Res..