AndreA Orlandini

Validation and Verification issues in Timeline-based Planning and Scheduling Systems

Additional details

Profilo

Posizione:

Technologist

Andrea Orlandini is a 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 validation and execution problem in research projects: "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).

The list of publications on CNR website.

My papers on google scholar.

My papers on SCOPUS.

Ricerca

Research Interests

Formal methods for Planning and Scheduling
Verification and Validation
Specification languages for planning

Planning and Execution
Robust plan execution
Human-Robot Interaction
Mixed-Initiative planning
Decisional Autonomy for Robotic systems

Professional Activities

Chair
Conferences
9th International Symposium on Games, Logic, Automata and Formal Verification (GandALF 2018) - Program Chair
8th International Symposium on Games, Logic, Automata and Formal Verification (GandALF 2017) - Conference Chair
Robotics Track @ 27th International Conference on Automated Planning and Scheduling (ICAPS 2017)
28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2016) Area Chair
Robotics Track @ International Conference on Automated Planning and Scheduling 2016
27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015) Submission & Publicity Chair
Workshops
1st Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY @ AIxIA 2019)
Workshop on A.I., Planning and Robotics: Results and Future Challenges @ ERF 2019
7th ICAPS Workshop on Planning and Robotics (PlanRob 2019)
Workshop on A.I., Automated Planning and Robotics: Going into the wild @ ERF 2018
6th ICAPS Workshop on Planning and Robotics (PlanRob 2018)
Workshop on Human-Robot Collaboration for an improved Quality of Work (Ro-Man 2017)
Workshop on A.I. Planning and Robotics: Challenges and Methods @ ICRA 2017
Special Session on Safe Human-Robot Collaboration (ETFA 2017)
Workshop "Towards Fully Autonomous Robots: Challenges for AI Planning in Robotics" @ European Robotics Forum 2017 (ERF 2017), Edinburgo, UK. Marzo 2017.
1st ICAPS workshop on Planning, Scheduling and Dependability (SafePlan) - link2
Special Session on Safe Human-Robot Collaboration (ETFA 2016)
2nd Italian Workshop on Artificial Intelligence and Robotics (AIRO 2015) @ AIxIA 2015
10th Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI 2015) @ IJCAI 2015
3rd ICAPS Workshop on Planning and Robotics (PlanRob 2015) @ ICAPS 2015
2nd ICAPS Workshop on Planning and Robotics (PlanRob 2014) @ ICAPS 2014
1st ICAPS Workshop on Planning and Robotics (PlanRob 2013) @ ICAPS 2013
3rd ICAPS Workshop on Verification and Validation of Planning and Scheduling systems (VVPS 2011) @ ICAPS 2011

PC member
Conferences
Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020)
The 33rd International FLORIDA ARTIFICIAL INTELLIGENCE RESEARCH SOCIETY Conference (FLAIRS 2020) Track on Autonomous Robots and Agents
The Fourth IEEE International Conference on Robotic Computing (IRC 2020)
2019 31st International Conference on Tools with Artificial Intelligence (ICTAI 2019)
2019 Tenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2019)
2019 IEEE International Symposium on Robotic and Sensors Environments (ROSE)
28th International Joint Conference on Artificial Intelligence (IJCAI 2019)
29th International Conference on Automated Planning and Scheduling (ICAPS 2019) Robotics Track
32th International Conference of the Florida Artificial Intelligence Research Society (FLAIRS 2019) Autonomous Robots and Agents Track
33rd AAAI Conference on Artificial Intelligence, Main Track and Student Abstract & Poster (AAAI 2019)
3rd IEEE International Conference on Robotic Computing (IRC 2019)
30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2018)
23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2018) - "Intelligent Robots & Systems" Track
27th International Joint Conference on Artificial Intelligence & 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-2018)
28th International Conference on Automated Planning and Scheduling (ICAPS 2018) Main Track
28th International Conference on Automated Planning and Scheduling (ICAPS 2018) Robotics Track
31st International Conference of the Florida Artificial Intelligence Research Society (FLAIRS 2018) Autonomous Robots and Agents Track
32nd AAAI Conference on Artificial Intelligence, Main Track and Student Abstract & Poster, (AAAI 2018), New Orleans, USA.
29th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2017)
8th International Symposium on Games, Logic, Automata and Formal Verification (GandALF 2017)
24th International Symposium on Temporal Representation and Reasoning (TIME-17)
26th International Joint Conference on Artificial Intelligence (IJCAI-17)
22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA 2017)
6th IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT 2017)
Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17) (Student Abstract and Poster)
30th International FLAIRS Conference (FLAIRS 2017)
21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016) - Intelligent Robots and Systems Track
6th International Conference on Operations Research and Enterprise Systems” (ICORES 2017)
International Joint Conference on Artificial Intellgence (IJCAI 2016)
30th "Association for the Advancement of Artificial Intelligence" Conference (AAAI 2016) (Student Abstract and Poster)
22nd European Conference on Artificial Intelligence (ECAI 2016)
24th International Joint Conference on Artificial Intelligence (IJCAI 2015)
ICAPS 2015 Special Track on Planning and Scheduling in Robotics
29th "Association for the Advancement of Artificial Intelligence" Conference (AAAI 2015) (Student Abstract and Poster)
28th International FLAIRS Conference (FLAIRS 2015) - Special Track on Autonomous Robots and Agents
5th IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT 2014)
21st European Conference on Artificial Intelligence (ECAI 2014)
24th International Conference on Automated Planning and Scheduling (ICAPS 2014) - Robotics Track
27th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA AIE 2014)
23rd International Conference on Automated Planning and Scheduling (ICAPS 2013)
Workshops
7th Italian Workshop on Planning and Scheduling (IPS 2019 @ AIxIA 2019)
3rd International Workshop on the Applications of Knowledge Representation and Semantic Technologies in Robotics (AnSWeR19 @ IROS 2019)
ICAPS Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2019 @ ICAPS 2019)
4th Italian Workshop on Artificial Intelligence for Ambient Assisted Living (AI*AAL 2018 @ AIxIA 2018)
2nd International Workshop on the ApplicatioN of Semantic WEb technologies in Robotics (AnSWeR 2018)
ICAPS Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2018 @ ICAPS 2018)
Symposium on Integrating Representation, Reasoning, Learning, and Execution for Goal Directed Autonomy (SIRLE 2018)
4th International Workshop on Artificial Intelligence and Robotics (AIRO 2017 @ AIxIA 2018)
10th International Workshop on Human-Friendly Robotics (HFR 2017)
1st International Workshop on Application of Semantic Web technologies in Robotics (AnSWeR) @ Extended Semantic Web Conference (ESWC 2017)
5th ICAPS Workshop on Planning and Robotics (PlanRob 2017 @ ICAPS 2017)
ICAPS Workshop on Knowledge Engineering for Planning and Scheduling (KEPS @ ICAPS 2017)
3rd Italian Workshop on Artificial Intelligence and Robotics (AIRO 2016 @ AIxIA 2016)
2nd Italian Workshop on Artificial Intelligence for Ambient Assisted Living (AI*AAL 2016 @ AIxIA 2016)
Integrating Multiple Knowledge Representation and Reasoning Techniques in Robotics (MIRROR-16 @ IROS 2016)
4th ICAPS Workshop on Planning and Robotics (PlanRob 2016 @ ICAPS 2016)
AI-15 Workshop on Planning, Search and Optimization (PlanSOpt @ AI-15)
6th Italian Workshop on Planning and Scheduling (IPS 2015 @ AIxIA 2015)
ICAPS Workshop on Model Checking and Automated Planning (MOCHAP 2015 @ ICAPS 2015)
ICAPS Workshop on Model Checking and Automated Planning (Mochap 2014 @ ICAPS 2014)
ICAPS Workshop on Evolutionary Techniques in Planning and Scheduling (EVOPS 2013)
5th Italian Workshop on Planning and Scheduling (IPS 2013 @ AIxIA 2013)
Workshop on Social Robotic Telepresence (SRT 2012 @ Ro-MAN 2012)
28th Workshop of the UK PLANNING AND SCHEDULING Special Interest Group (PlanSIG 2010) jointly with 4th Italian Workshop on Planning and Scheduling (IPS 2010 @ AIxIA 2010)

Keynote and invited talks, seminars
Dalla robotica assistiva ai robot industriali: Intelligenza Artificiale e Robotica, tra opportunità e sfide per il mondo di domani. Convegno su “INTELLIGENZA ARTIFICIALE (AI) e COMPUTER QUANTISTICI” presso Università Pontificia Salesiana di Roma. Maggio 2019.
Reliable Temporal Planning and Execution Systems: Validation & Verification Issues and TGA-based Controllers. Summer School on Formal Methods for Cyber-Physical Systems, Verona, Italy. September 2017.
L'applicazione della robotica alla medicina assistenziale e operativa. Invited Speaker. Corso ECM Teorico/Pratico: Medicina Estetica e Chirurgia Estetica HI-TECH. Perugia, Italia. Tre edizioni: Novembre 2014, Novembre 2015, Gennaio 2017, Gennaio 2018, Gennaio 2019.
Developing and deploying an intelligent AAL system for real environments. Keynote. 9th Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI 2014) @ Intelligent Environments Conference. Shanghai, China. Luglio 2014.
Panelist nella panel session del 1st Workshop on Artificial Intelligence for Ambient Assisted Living, AIxIA 2014, Pisa, Italia. Dicembre 2014.
Validation and Verification meet Planning and Scheduling. Invited Speaker. Workshop on Model Checking and Planning @ ICAPS 2014. Portsmouth, New Hampshire, USA. Giugno 2014.
GiraffPlus: a Universaal application. Seminario. Halmstad University, Halmstad, Svezia. Settembre 2013.
End-User Requirements: Lessons learned in the GiraffPlus project. Invited Speaker. European Commission D.G. Information Society \& Media, Brussels, Belgio. Aprile 2012;
Contributo della domotica nei Progetti riabilitativi individuali territoriali. Invited Speaker. Evento Formativo ECM "I modi della rete territoriale socio-sanitaria nel modello operativo della AUSL Viterbo per la disabilità adulta". AUSL VT, Residenza Sanitaria Assistenziale Giovanni XXIII. Viterbo, Italia. Marzo 2012.
Robot in Scenari di Emergenza Post-Terremoto. Seminario. presso il Dipartimento di Matematica e Informatica, Università degli Studi di Perugia, Perugia, Italia, Maggio 2008;
Logic Based Approaches to Artificial Intelligence Planning and Robot Control. Seminario presso il Laboratoire d'Analyse et d'Architecture des Systemès (LAAS), Centre National de la Recherche Scientifique (CNRS), Tolosa, Francia, Aprile 2006;
Planning as Model Search in LTL. Seminario presso l'Istituto di Scienze e Tecnologie della Cognizione del Consiglio Nazionale delle Ricerche, Roma, Italia, Ottobre 2002.

Editorial Boards
Intelligenza Artificiale (IOS Press)
A.I. Communications (IOS Press)

Reviewer activity
15th IEEE International Conference on Automation Science and Engineering (CASE 2019)
International Conference on Robotics and Automation (ICRA) 2019, 2018, 2015 - Workshop and paper reviews
9th Italian Forum on Ambient Assisted Living (ForItAAL) 2018
IEEE International Conference on Robot and Human Interactive Communication (RO-MAN), 2018
CIRP Conference on Manufacturing Systems (CIRP CMS), 2018
IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2017
International Symposium on Temporal Representation and Reasoning (TIME), 2016, 2015, 2014
AAAI 2015, 2014, 2012
European Conference on Artificial Intelligence (ECAI), 2014, 2010
Congress of the Italian Association for Artificial Intelligence (AIxIA) 2013
International Joint Conference on Artificial Intelligence (IJCAI) 2013, 2011
Italian Workshop on Planning and Scheduling (IPS) 2013
ICAPS Workshop on Knowledge Engineering and Planning & Scheduling (KEPS) 2013
International Conference on Automated Planning and Scheduling (ICAPS) 2012
JACII 2011
International Conference on Intelligent Robots and Systems (IROS) 2010, 2007
ICAPS Workshop on Verification and Validatio of Planning and Scheduling Systems (VVPS) 2009
ISMIS 2009
German Conference on Artificial Intelligence (KI) 2009
TABLEAUX 2009
ICAPS Scheduling and Planning Application Worskshop (SPARK) WS 2008

Reviewer for Journals
Artificial Intelligence Journal (Elsevier)
Journal of Artificial Intelligence Research (AI Access Foundation)
Autonomous Robots (Springer)
Robotics and Autonomous Systems (Elsevier)
IEEE Transactions on Robotics (IEEE)
Journal of Social Robotics (Springer)
Robotics and Automation Letters (IEEE)
IEEE Intelligent Systems (IEEE)
Theoretical Computer Science (Elsevier)
AI Communications (IOS Press)
Intelligent Service Robotics (Springer)
Journal of Automated Reasoning (Springer)
Artificial Intelligence in Medicine (Elsevier)
Robotics and Computer Integrated Manufacturing (Elsevier)
Software Testing, Verification and Reliability (Wiley Online)
IEEE Aerospace & Electronics Systems Magazine (IEEE)
ACTA Astronautica (Elsevier)
Fundamenta Informaticae (IOS)
IEEE Transactions on Human-Machine Systems (IEEE)
International Journal of Computer Integrated Manufacturing (Taylor & Francis Online)
Computing Surveys (ACM)
Robotics (MDPI)
Sensors (MDPI)
Journal of Advanced Computational Intelligence & Intelligent Informatics (Fuji Technology Press)

Progetti

4x3 - Highly customizable robotic solutions for effective and safe human robot collaboration in manufacturing applications

Project Funding:

Project Timeframe:

da 30 Nov 2014 a 29 Nov 2017

ISTC Contact Person:

Group & ISTC Labs:

APSI: Advanced Planning and Scheduling Initiative

Project Funding:

Other - International

Project Timeframe:

da 31 Dic 2008 a 30 Dic 2009

ISTC Contact Person:

Group & ISTC Labs:

EasyReach - Fostering Social Interaction of Home-bound and Less Educated Elderly People

Project Funding:

Project Timeframe:

da 31 Ott 2010 a 27 Ott 2013

ISTC Contact Person:

Group & ISTC Labs:

ESA Networking/Partnering Initiative (2012): Cooperative Systems for Autonomous Exploration Missions

Project Funding:

Other - International

Project Timeframe:

da 31 Ott 2012 a 29 Nov 2015

ISTC Contact Person:

Group & ISTC Labs:

ExCITE - Enabling SoCial Interaction Through Embodiment

Project Funding:

Project Timeframe:

da 30 Giu 2010 a 29 Giu 2013

ISTC Contact Person:

Group & ISTC Labs:

MIUR - Ministero dell'Istruzione, dell'Università e della Ricerca

GECKO - Generic Evolutionary Control Knowledge-based Module

Project Funding:

Project Timeframe:

da 14 Gen 2013 a 13 Gen 2015

ISTC Contact Person:

Group & ISTC Labs:

Laboratory for Applied Ontology

Giraff+ Combining social interaction and long term monitoring for promoting independent living

Project Funding:

Project Timeframe:

da 31 Dic 2011 a 30 Dic 2014

ISTC Contact Person:

Gabriella Cortellessa

Group & ISTC Labs:

GOAC - Goal Oriented Autonomous Controllers

Project Funding:

Other - International

Project Timeframe:

da 13 Set 2009 a 30 Ott 2011

ISTC Contact Person:

Group & ISTC Labs:

MIUR - Ministero dell'Istruzione, dell'Università e della Ricerca

PRIN (2008) - Approcci innovativi e multidisciplinari per ragionamento con vincoli e preferenza - ISTC CNR Unit: Tecniche a vincoli innovative per problemi di planning e scheduling

Project Funding:

Project Timeframe:

da 21 Mar 2010 a 21 Set 2012

ISTC Contact Person:

Group & ISTC Labs:

ULISSE: USOCs KnowLedge Integration and dissemination for Space Science and Exploration

Project Funding:

Project Timeframe:

da 31 Dic 2008 a 30 Dic 2011

ISTC Contact Person:

Group & ISTC Labs:

[INdAM-GNCS] Logica e Automi per il Model-Checking Intervallare

Project Funding:

Other - National

Project Timeframe:

da 31 Gen 2017 a 30 Gen 2018

ISTC Contact Person:

Group & ISTC Labs:

[INdAM-GNCS] Logica, Automi e Giochi per Sistemi Auto-adattivi

Project Funding:

Other - National

Project Timeframe:

da 09 Feb 2016 a 02 Feb 2017

ISTC Contact Person:

AndreA Orlandini

Group & ISTC Labs: