Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability ConstraintsFULL
In smart Cyber-Physical Systems (sCPS), a critical challenge lies in task planning under uncertainty. There is a broad body of work in the area with approaches able to deal with different classes of constraints (e.g., ordering, structural) and uncertainties (e.g., in sensing, actuation, latencies). However, planning under temporal availability constraints, i.e., when a given resource or other element of the system required to perform a task is available only during a limited and variable time window, is a challenge that remains largely unexplored. This paper presents an approach to address this challenge, employing genetic algorithms to incorporate temporal uncertainties effectively. Our method demonstrates enhanced robustness and efficiency in task-based sCPS scenarios with variable time windows, such as electric vehicle charging and healthcare robotics. Our evaluation shows that our approach significantly reduces computational cost and maintains solution feasibility under prescribed levels of uncertainty, outperforming MILP-based optimization.
Mon 15 AprDisplayed time zone: Lisbon change
11:00 - 12:30 | Session 2: UncertaintyResearch Track at Luis de Freitas Branco Chair(s): Ivana Dusparic Trinity College Dublin, Ireland | ||
11:00 25mTalk | Formal Synthesis of Uncertainty Reduction ControllersFULL Research Track Marc Carwehl Humboldt-Universität zu Berlin, Calum Imrie University of York, Thomas Vogel Humboldt-Universtität zu Berlin, Genaína Nunes Rodrigues University of Brasília, Radu Calinescu University of York, UK, Lars Grunske Humboldt-Universität zu Berlin | ||
11:25 25mTalk | Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability ConstraintsFULL Research Track Raquel Sanchez University of Malaga, Javier Troya Universidad de Málaga, Spain, Javier Camara University of Málaga | ||
11:50 25mTalk | Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptationFULL Research Track Gianluca Filippone University of L'Aquila, Italy, Juan Antonio Piñera García Gran Sasso Science Institute, Marco Autili University of L'Aquila, Italy, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy | ||
12:15 15mTalk | Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive SystemsSHORT Research Track Javier Camara University of Málaga, Sebastian Hahner Karlsruhe Institute of Technology (KIT), Diego Perez-Palacin Linnaeus University, Antonio Vallecillo University of Málaga, Spain, Maribel Acosta Technical University of Munich, Nelly Bencomo Durham University, Radu Calinescu University of York, UK, Simos Gerasimou University of York |