Planning meets verification and validation in a knowledge engineering environment

PLATINUm: A New Framework for Planning and Acting

“…It is worth underscoring how PLATINUM enters in the current state of the art in a sub-area of planning systems for robotics together with CHIMP [18], HATP [9], meta-CSP planner [11], FAPE [2] that creates a current generation of planners for robotics whose goal is to evolve with respect to classical temporal frameworks such as, for instance, EUROPA [1] and IXTET [8]. Finally, leveraging the work in [14], a current research effort is related to the extension of the knowledge engineering framework for PLATINUM to enable use by non specialist planning users. Our goal, as already said, is to enable the use of our technology in different industrial settings.…”

FourByThree: Imagine humans and robots working hand in hand

“…A Production Engineer is in charge of defining the Human-Robot collaborative (HRC) production process characterizing each task according to specific HRC settings (i.e., interaction modalities). Then, a Knowledge Engineer is to encode such information in a task planning model following a hierarchical decomposition and leveraging the features provided by a Knowledge Engineering Environment for planning with timelines [28], that integrates classical knowledge engineering features with Verification and Validation (V&V) formal techniques to perform domain model validation, planner validation, plan verification, etc. The integration of Planning and technology with V&V techniques is key to synthesize a safety critical controller for the robot.…”

Planning and execution with flexible timelines: a formal account

“…-FTL = {F T L gv , F T L pm }, where F T L gv is the timeline of example 11 and F T L pm is the following timeline: [1,33], [1,33], c) pm 2 = (Slewing, [31,63], [30,30] The plan Π is a flexible solution plan for the planning problem P because:…”

“…Validating and verifying the correctness and effectiveness of these systems by simple inspection can indeed be a very complex task [4]. In this regard, Knowledge Engineering environments for P&S systems [3,31,32,34] are required to simplify the access to this technology and, then, to provide support for the development of applications to an enlarged community of users (not just "leading edge" specialists). Particularly relevant to the present framework is the exploitation of Timed Game Automata model checking techniques, proposed by Orlandini et al [31], to integrate verification and validation (V&V) tools and formal methods.…”