Alert button
Picture for Gricel Vázquez

Gricel Vázquez

Alert button

University of York

Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems

Sep 28, 2022
Gricel Vázquez, Radu Calinescu, Javier Cámara

Figure 1 for Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems
Figure 2 for Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems
Figure 3 for Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems
Figure 4 for Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems

We present a formal tasK AllocatioN and scheduling apprOAch for multi-robot missions (KANOA). KANOA supports two important types of task constraints: task ordering, which requires the execution of several tasks in a specified order; and joint tasks, which indicates tasks that must be performed by more than one robot. To mitigate the complexity of robotic mission planning, KANOA handles the allocation of the mission tasks to robots, and the scheduling of the allocated tasks separately. To that end, the task allocation problem is formalised in first-order logic and resolved using the Alloy model analyzer, and the task scheduling problem is encoded as a Markov decision process and resolved using the PRISM probabilistic model checker. We illustrate the application of KANOA through a case study in which a heterogeneous robotic team is assigned a hospital maintenance mission.

* EPTCS 371, 2022, pp. 156-174  
* In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181 
Viaarxiv icon

Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components

Feb 07, 2022
Radu Calinescu, Calum Imrie, Ravi Mangal, Corina Păsăreanu, Misael Alpizar Santana, Gricel Vázquez

Figure 1 for Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components
Figure 2 for Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components
Figure 3 for Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components
Figure 4 for Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components

We present DEEPDECS, a new method for the synthesis of correct-by-construction discrete-event controllers for autonomous systems that use deep neural network (DNN) classifiers for the perception step of their decision-making processes. Despite major advances in deep learning in recent years, providing safety guarantees for these systems remains very challenging. Our controller synthesis method addresses this challenge by integrating DNN verification with the synthesis of verified Markov models. The synthesised models correspond to discrete-event controllers guaranteed to satisfy the safety, dependability and performance requirements of the autonomous system, and to be Pareto optimal with respect to a set of optimisation criteria. We use the method in simulation to synthesise controllers for mobile-robot collision avoidance, and for maintaining driver attentiveness in shared-control autonomous driving.

* 18 pages 6 Figures 2 Tables 
Viaarxiv icon