Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications
暂无分享,去创建一个
[1] Petter Nilsson,et al. Control Synthesis for Large Collections of Systems with Mode-Counting Constraints , 2016, HSCC.
[2] D. Dimarogonas,et al. Decentralized multi-agent control from local LTL specifications , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).
[3] Edmund M. Clarke,et al. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..
[4] Hadas Kress-Gazit,et al. Verifiable Control of Robotic Swarm from High-level Specifications , 2018, AAMAS.
[5] Paulo Tabuada,et al. Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .
[6] Ufuk Topcu,et al. Compositional and symbolic synthesis of reactive controllers for multi-agent systems , 2018, Inf. Comput..
[7] Pierre Wolper,et al. Synthesis of Communicating Processes from Temporal Logic Specifications , 1981, TOPL.
[8] Eliseo Ferrante,et al. Swarm robotics: a review from the swarm engineering perspective , 2013, Swarm Intelligence.
[9] Éva Tardos,et al. Algorithm design , 2005 .
[10] Emilio Frazzoli,et al. Vehicle Routing with Linear Temporal Logic Specifications: Applications to Multi-UAV Mission Planning , 2008 .
[11] Jean-François Raskin,et al. Antichains and compositional algorithms for LTL synthesis , 2011, Formal Methods Syst. Des..
[12] Erol Sahin,et al. Probabilistic aggregation strategies in swarm robotic systems , 2005, Proceedings 2005 IEEE Swarm Intelligence Symposium, 2005. SIS 2005..
[13] Calin Belta,et al. Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints , 2013, Int. J. Robotics Res..
[14] Mauro Birattari,et al. Towards a Formal Verification Methodology for Collective Robotic Systems , 2012, ICFEM.
[15] Rüdiger Ehlers. Symbolic Bounded Synthesis , 2010, CAV.
[16] David E. Goldberg,et al. Genetic Algorithms in Search Optimization and Machine Learning , 1988 .
[17] K.J. Kyriakopoulos,et al. Automated Planning of Motion Tasks for Multi-Robot Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[18] Calin Belta,et al. Hierarchical abstractions for robotic swarms , 2006, Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006..
[19] M. Sheeran,et al. SAT-solving in practice , 2008, 2008 9th International Workshop on Discrete Event Systems.
[20] Hadas Kress-Gazit,et al. Decentralized control of robotic swarms from high-level temporal logic specifications , 2017, 2017 International Symposium on Multi-Robot and Multi-Agent Systems (MRS).
[21] Jacob Beal,et al. Composable continuous-space programs for robotic swarms , 2010, Neural Computing and Applications.
[22] Marco Dorigo,et al. Path formation in a robot swarm , 2008, Swarm Intelligence.
[23] Sean Luke,et al. Cooperative Multi-Agent Learning: The State of the Art , 2005, Autonomous Agents and Multi-Agent Systems.
[24] Tucker R. Balch,et al. Social potentials for scalable multi-robot formations , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).
[25] Randal E. Bryant,et al. Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.
[26] Amir Pnueli,et al. On the synthesis of a reactive module , 1989, POPL '89.
[27] Dimos V. Dimarogonas,et al. Multi-agent plan reconfiguration under local LTL specifications , 2015, Int. J. Robotics Res..
[28] Paulo Tabuada,et al. Verification and Control of Hybrid Systems , 2009 .
[29] Joseph Sifakis,et al. Model checking , 1996, Handbook of Automated Reasoning.
[30] Dimos V. Dimarogonas,et al. Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints , 2014, 53rd IEEE Conference on Decision and Control.
[31] Marco Dorigo,et al. Division of labor in a group of robots inspired by ants' foraging behavior , 2006, TAAS.
[32] Fabio Somenzi,et al. An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps , 2006, Formal Methods Syst. Des..
[33] Hadas Kress-Gazit,et al. Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control , 2015, IEEE Transactions on Robotics.
[34] Hadas Kress-Gazit,et al. Synthesis for multi-robot controllers with interleaved motion , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).
[35] Clare Dixon,et al. Towards temporal verification of swarm robotic systems , 2012, Robotics Auton. Syst..
[36] Calin Belta,et al. Multi-robot deployment from LTL specifications with reduced communication , 2011, IEEE Conference on Decision and Control and European Control Conference.
[37] Amir Pnueli,et al. Synthesis of Reactive(1) designs , 2006, J. Comput. Syst. Sci..
[38] Eran Yahav,et al. Abstraction-guided synthesis of synchronization , 2010, POPL.