Share

Andrea Orlandini

Email:
andrea.orlandini@istc.cnr.it
Telephone: 
+39 06 44595223
Address: 

Via S.Martino della Battaglia 44 I-00185, Roma, Italia

Profile

Position: 
Research Fellow
Short profile: 

Andrea Orlandini is an Assistant Researcher at Institute of Industrial Technologies and Automation of the Italian National Research Council (ITIA-CNR), currently 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). Currently, he is studying formal methods application to flexible manufacturing systems. In particular, he is focusing on Verification and Validation issues.

He was an assistant researcher at the Computer Science and Automation Department of the Roma Tre University, Rome (Italy) (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 collaborating with the Planning and Scheduling Team at ISTC-CNR, studying temporal plan validation and execution problem in some 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 promotingindependent living" (Giraff+) project (FP7-ICT-2011-7).

 

My papers on google scholar.

Research

 

  • Logic
    • Linear Temporal Logic.
    • Parallel algorithm for LTL tableaux calculus.
    • Efficient data structure for logic formulae representations.
  • Planning and Execution
    • Planning as satisfiability.
    • Specification languages for planning domain.
    • Reactive planning.
    • Mixed-Initiative planning.
    • Verification and Validation
  • Robotic system
    • Rescue Robots.
    • Planetary Rovers.

 

Publications


Journal articles

   2011
Cesta A., Finzi A., Fratini S., Orlandini A., Enrico T. Flexible Plan Verification: Feasibility Results. In: Fundamenta Informaticae, vol. 107 (2-3) pp. 111 - 137. IOS Press, 2011.  image   image
   2010
Cesta A., Finzi A., Fratini S., Orlandini A., Tronci E. Validation and Verification Issues in a Timeline-Based Planning System. In: KNOWLEDGE ENGINEERING REVIEW, vol. 25(3) pp. 299 - 318. 2010.
   2008
Orlandini A., R., R. Il ruolo dell'autonomia nella robotica spaziale. In: Media 2000, vol. 260 pp. 54 - 58. 2008.

Proceedings

   2010
Cesta A., Finzi A., Fratini S., Orlandini A., Tronci E. Analyzing Flexible Timeline-based Plans. In: ECAI 2010 - 19th European Conference on Artificial Intelligence (Lisbon, Portugal, ). Proceedings, 2010.
Cesta A., Finzi A., Fratini S., Orlandini A., T., E. How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?. In: KEPS 2010 (Toronto, Canada, ). Proceedings, 2010.
Orlandini A., Finzi A., Cesta A., Fratini S., Tronci E. Formal Methods for Plan-based Robot Autonomy: A Case Study. In: PlanSIG 2010 (Brescia, Italy, ). Proceedings, 2010.
   2009
Cesta A., Finzi A., Fratini S., Orlandini A., T., E. Flexible Timeline-Based Plan Verification. In: KI 2009 (PADERBORN, GERMANY, ). Proceedings, 2009.
   2008
Cesta A., Finzi A., Fratini S., Orlandini A., T., E. Merging Planning, Scheduling & Verification - A Preliminary Analysis. In: ASTRA-08, 10th Workshop on Advanced Space Technologies for Robotics and Automation (Noordwijk (The Netherlands), ). Proceedings, 2008.
Cesta A., Finzi A., Fratini S., Orlandini A., Tronci E. Validation and Verification Issues in a Timeline-based Planning System. In: KEPS-08. ICAPS Workshop on Knowledge Engineering for Planning and Scheduling (Sidney (Australia), ). Proceedings, 2008.