相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Robust control for signal temporal logic specifications using discrete average space robustness
Lars Lindemann et al.
AUTOMATICA (2019)
Feedback control strategies for multi-agent systems under a fragment at) of signal temporal logic tasks
Lars Lindemann et al.
AUTOMATICA (2019)
Control Barrier Functions for Signal Temporal Logic Tasks
Lars Lindemann et al.
IEEE CONTROL SYSTEMS LETTERS (2019)
Formal Guarantees in Data-Driven Model Identification and Control Synthesis
Sadra Sadraddini et al.
HSCC 2018: PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK) (2018)
Multi-agent planning under local LTL specifications and event-based synchronization
Jana Tumova et al.
AUTOMATICA (2016)
Communication-Free Multi-Agent Control Under Local Temporal Tasks and Relative-Distance Constraints
Meng Guo et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2016)
Multi-agent plan reconfiguration under local LTL specifications
Meng Guo et al.
INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH (2015)
Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications
Marius Kloetzer et al.
IEEE TRANSACTIONS ON ROBOTICS (2010)
Temporal-Logic-Based Reactive Mission and Motion Planning
Hadas Kress-Gazit et al.
IEEE TRANSACTIONS ON ROBOTICS (2009)
Robustness of temporal logic specifications for continuous-time signals
Georgios E. Fainekos et al.
THEORETICAL COMPUTER SCIENCE (2009)
A fully automated framework for control of linear systems from temporal, logic specifications
Marius Kloetzer et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2008)
Distributed Connectivity Control of Mobile Networks
Michael A. Zavlanos et al.
IEEE TRANSACTIONS ON ROBOTICS (2008)
A feedback stabilization and collision avoidance scheme for multiple independent non-point agents
DV Dimarogonas et al.
AUTOMATICA (2006)
Consensus seeking in multiagent systems under dynamically changing interaction topologies
W Ren et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2005)
An autonomous mobile robot with a 3D laser range finder for 3D exploration and digitalization of indoor environments
H Surmann et al.
ROBOTICS AND AUTONOMOUS SYSTEMS (2003)