Andrea Orlandini is a Senior Researcher working at the Institute of Cognitive Sciences and Technologies (ISTC-CNR), in Rome. He got a degree in Computer Science Engineering and he received his PhD in 2006 defending the thesis "Logical Based Approaches to Artificial Intelligence Planning and Robot Control" at the Roma Tre University in Rome (Italy).He was an Assistant Researcher at the Institute of Industrial Technologies and Automation of the Italian National Research Council (ITIA-CNR) in Milan, studying formal methods techniques in flexible manufacturing systems (2010-2012).He was an Assistant Researcher at the Institute of Cognitive Sciences and Technologies (ISTC-CNR) in Rome, studying flexible temporal plan verification through hybrid model checking techniques (2010).He was an assistant researcher at the Computer Science and Automation Department of the Roma Tre University in Rome, investigating the use of logic-based approaches to planning and robot control (2007-2010). His main research interests are on automated planning and model-based robot control. He was awarded third prize at the RoboCup Real Rescue Competition in 2004 as an ALCOR team member. He was involved in a model-based control architecture development for Rescue Rover exploiting automated planning and high-level programming approach. He was also involved in the Simulation and robotic systems for operations in emergency scenarios (SRSOES) project. He has held a Post-Doc position at the Laboratoire d’Analyse et d’Architecture des Systemes (LAAS) of the Centre National de la Recherche Scientifique (CNRS) in Toulouse, France. Fault Detection, Isolation and Recovery (FDIR) within autonomous space vehicles control issue was the main focus of his activities. He was involved in the Autonomy Generic Architecture: Tests and Applications (AGATA) project (a joint project with CNES, ONERA and CNRS) concerning the study of space satellites control architectures.He is currently working within the Planning and Scheduling Team at ISTC-CNR, studying temporal plan and execution problem in several research projects. Some recent research projects like, e.g., "Advanced Planning and Scheduling Initiative" project (APSI) fundend by the European Space Agency (ESA); "USOCs KnowLedge Integration and dissemination for Space Science and Exploration" project (ULISSE) funded by the European Commission (FP7-SPACE). "Goal Oriented Autonomous Controller" project (GOAC) funded by the European Space Agency (ESA). He is also involved in the user evaluation within the "Enabling SoCial Interaction Through Embodiment" (ExCITE) project funded by the European Commission (FP7-AAL). Currently, he is WP Leader of the "User requirements analysis and functional specifications" within the "Combining social interaction and long term monitoring for promoting independent living" (Giraff+) project (FP7-ICT-2011-7). He is also leading the RTD activities on Context Recognition and Capability Assessment within the "Factory of the Future" Flagship Project Framework, in the "Generic Evolutionary Control Knowledge-based mOdule" (GECKO) project, funded by the ItalianResearch Ministry (MIUR), FourByThree and Sharework (funded by the EU Commission), Fit 4 Medical Robotics (PNC MUR).Validation and Verification issues in Timeline-based Planning and Scheduling SystemsMy personal page on IRIS.The list of publications on CNR website.My papers on google scholar.My papers on SCOPUS.
