2,457 research outputs found
Revision of Specification Automata under Quantitative Preferences
We study the problem of revising specifications with preferences for automata
based control synthesis problems. In this class of revision problems, the user
provides a numerical ranking of the desirability of the subgoals in their
specifications. When the specification cannot be satisfied on the system, then
our algorithms automatically revise the specification so that the least
desirable user goals are removed from the specification. We propose two
different versions of the revision problem with preferences. In the first
version, the algorithm returns an exact solution while in the second version
the algorithm is an approximation algorithm with non-constant approximation
ratio. Finally, we demonstrate the scalability of our algorithms and we
experimentally study the approximation ratio of the approximation algorithm on
random problem instances.Comment: 9 pages, 3 figures, 3 tables, in Proceedings of the IEEE Conference
on Robotics and Automation, May 201
On the Minimal Revision Problem of Specification Automata
As robots are being integrated into our daily lives, it becomes necessary to
provide guarantees on the safe and provably correct operation. Such guarantees
can be provided using automata theoretic task and mission planning where the
requirements are expressed as temporal logic specifications. However, in
real-life scenarios, it is to be expected that not all user task requirements
can be realized by the robot. In such cases, the robot must provide feedback to
the user on why it cannot accomplish a given task. Moreover, the robot should
indicate what tasks it can accomplish which are as "close" as possible to the
initial user intent. This paper establishes that the latter problem, which is
referred to as the minimal specification revision problem, is NP complete. A
heuristic algorithm is presented that can compute good approximations to the
Minimal Revision Problem (MRP) in polynomial time. The experimental study of
the algorithm demonstrates that in most problem instances the heuristic
algorithm actually returns the optimal solution. Finally, some cases where the
algorithm does not return the optimal solution are presented.Comment: 23 pages, 16 figures, 2 tables, International Joural of Robotics
Research 2014 Major Revision (submitted
Mission and Motion Planning for Multi-robot Systems in Constrained Environments
abstract: As robots become mechanically more capable, they are going to be more and more integrated into our daily lives. Over time, human’s expectation of what the robot capabilities are is getting higher. Therefore, it can be conjectured that often robots will not act as human commanders intended them to do. That is, the users of the robots may have a different point of view from the one the robots do.
The first part of this dissertation covers methods that resolve some instances of this mismatch when the mission requirements are expressed in Linear Temporal Logic (LTL) for handling coverage, sequencing, conditions and avoidance. That is, the following general questions are addressed:
* What cause of the given mission is unrealizable?
* Is there any other feasible mission that is close to the given one?
In order to answer these questions, the LTL Revision Problem is applied and it is formulated as a graph search problem. It is shown that in general the problem is NP-Complete. Hence, it is proved that the heuristic algorihtm has 2-approximation bound in some cases. This problem, then, is extended to two different versions: one is for the weighted transition system and another is for the specification under quantitative preference. Next, a follow up question is addressed:
* How can an LTL specified mission be scaled up to multiple robots operating in confined environments?
The Cooperative Multi-agent Planning Problem is addressed by borrowing a technique from cooperative pathfinding problems in discrete grid environments. Since centralized planning for multi-robot systems is computationally challenging and easily results in state space explosion, a distributed planning approach is provided through agent coupling and de-coupling.
In addition, in order to make such robot missions work in the real world, robots should take actions in the continuous physical world. Hence, in the second part of this thesis, the resulting motion planning problems is addressed for non-holonomic robots.
That is, it is devoted to autonomous vehicles’ motion planning in challenging environments such as rural, semi-structured roads. This planning problem is solved with an on-the-fly hierarchical approach, using a pre-computed lattice planner. It is also proved that the proposed algorithm guarantees resolution-completeness in such demanding environments. Finally, possible extensions are discussed.Dissertation/ThesisDoctoral Dissertation Computer Science 201
Evolution of constrained layer damping using a cellular automaton algorithm
Constrained layer damping (CLD) is a highly effective passive vibration control strategy if optimized adequately. Factors controlling CLD performance are well documented for the flexural modes of beams but not for more complicated mode shapes or structures. The current paper introduces an approach that is suitable for locating CLD on any type of structure. It follows the cellular automaton (CA) principle and relies on the use of finite element models to describe the vibration properties of the structure. The ability of the algorithm to reach the best solution is demonstrated by applying it to the bending and torsion modes of a plate. Configurations that give the most weight-efficient coverage for each type of mode are first obtained by adapting the existing 'optimum length' principle used for treated beams. Next, a CA algorithm is developed, which grows CLD patches one at a time on the surface of the plate according to a simple set of rules. The effectiveness of the algorithm is then assessed by comparing the generated configurations with the known optimum ones
Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments
This paper considers the problem of motion planning for a
hybrid robotic system with complex and nonlinear dynamics
in a partially unknown environment given a temporal logic
specification. We employ a multi-layered synergistic framework
that can deal with general robot dynamics and combine
it with an iterative planning strategy. Our work allows us
to deal with the unknown environmental restrictions only
when they are discovered and without the need to repeat
the computation that is related to the temporal logic specification.
In addition, we define a metric for satisfaction of
a specification. We use this metric to plan a trajectory that
satisfies the specification as closely as possible in cases in
which the discovered constraint in the environment renders
the specification unsatisfiable. We demonstrate the efficacy
of our framework on a simulation of a hybrid second-order
car-like robot moving in an office environment with unknown
obstacles. The results show that our framework is successful
in generating a trajectory whose satisfaction measure of the
specification is optimal. They also show that, when new obstacles
are discovered, the reinitialization of our framework
is computationally inexpensive
Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks
Cyber-physical systems are conducting increasingly complex tasks, which are
often modeled using formal languages such as temporal logic. The system's
ability to perform the required tasks can be curtailed by malicious adversaries
that mount intelligent attacks. At present, however, synthesis in the presence
of such attacks has received limited research attention. In particular, the
problem of synthesizing a controller when the required specifications cannot be
satisfied completely due to adversarial attacks has not been studied. In this
paper, we focus on the minimum violation control synthesis problem under linear
temporal logic constraints of a stochastic finite state discrete-time system
with the presence of an adversary. A minimum violation control strategy is one
that satisfies the most important tasks defined by the user while violating the
less important ones. We model the interaction between the controller and
adversary using a concurrent Stackelberg game and present a nonlinear
programming problem to formulate and solve for the optimal control policy. To
reduce the computation effort, we develop a heuristic algorithm that solves the
problem efficiently and demonstrate our proposed approach using a numerical
case study
- …