The Modal Transition System Analyser

The Modal Transition Analyser (MTSA) is a research and teaching platform for modelling, analysis and synthesis of behaviour models represented as Labelled or Modal Transition Systems. MTSA is a research effort by the Laboratory on Foundations and Tools for Software Engineering (LaFHIS) at University of Buenos Aires The tool is a fork of the Labelled Transition System Analyser developed at Imperial College London initially by Jeff Magee.

Projects

Directed Controller Synthesis for Non-Maximal Nonblocking Requirements


Dynamic Update of GR(1) Discrete Event Controllers


Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions (ICRA 2021)


Business Process Reconfiguration


Update Controllers


Ground Control

MTS Exploration


Publications

2015

  1. Victor Braberman, Nicolas D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastian Uchitel. "MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation" 1st Workshop on Control Theory for Software Engineering co-located with ESEC/FSE .
  2. Nicolas D'Ippolito, Victor Braberman, Daniel Sykes, Sebastian Uchitel. "Robust degradation and enhancement of robot mission behaviour in unpredictable environments" 1st Workshop on Control Theory for Software Engineering co-located with ESEC/FSE .
  3. Sebastián Sardiña, Nicolas D'Ippolito. "Towards Fully Observable Non-deterministic Planning as Assumption-based Automatic Synthesis" International Joint Conference on Artificial Intelligence .
  4. Germán Regis, Renzo Degiovanni, Nicolas D'Ippolito, Nazareno Aguirre. "Specifying Event-Based Systems with a Counting Fluent Temporal Logic" International Conference on Software Engineering .
  5. Antonio Filieri, Martina Maggio , Konstantinos Angelopoulos, Nicolas D'Ippolito. "Software Engineering meets Control Theory" 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems .

2014

  1. Nicolas D'Ippolito, Victor Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastian Uchitel. "Hope for the Best, Prepare for the Worst: Multi-tier Control for Adaptive Systems" 36th International Conference on Software Engineering ICSE 2014 .
  2. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Controllability in Partial and Uncertain Environments" 14th International Conference on Application of Concurrency to System Design, {ACSD} 2014 .
  3. Ivo Krka, Nicolas D'Ippolito, Nenad Medvidovic, Sebastian Uchitel. "Revisiting Compatibility of Input-Output Modal Transition Systems" 19th International Symposium on Formal Methods FM 2014 .

2013

  1. Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Victor Braberman, Marsha Chechik, Guido de Caso, Nicolas DIppolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German Sybay. "Supporting incremental behaviour model elaboration" Computer Science - Research and Development 28.
  2. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY .
  3. Victor Braberman, Nicolas D'Ippolito, Nir Piterman, Daniel Sykes, Sebastian Uchitel. "Controller synthesis: from modelling to enactment" 35th International Conference on Software Engineering (ICSE 2013) .

2012

  1. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "The Modal Transition System Control Problem" LECTURE NOTES IN COMPUTER SCIENCE 7436.
  2. Dario Fischbein, Greg Brunet, Nicolas D'Ippolito, Marsha Chechik, Sebastian Uchitel. "Weak Alphabet Merging of Partial Behaviour Models" ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 21.
  3. Nicolas D'Ippolito. "Synthesis of event-based controllers: A software engineering challenge" International Conference on Software Engineering .

2011

  1. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesis of live behaviour models for fallible domains" 33rd International Conference on Software Engineering .

2010

  1. Nicolas D'Ippolito, Victor Braberman, Nir Piterman, Sebastian Uchitel. "Synthesis of Live Behaviour Models" 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering .

2008

  1. Nicolas D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastian Uchitel. "MTSA: The Modal Transition System Analyser" 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008) .

2007

  1. Nicolas D'Ippolito, Dario Fischbein, Howard Foster, Sebastian Uchitel. "MTSA: Eclipse support for modal transition systems construction, analysis and elaboration" 2007 OOPSLA workshop on Eclipse Technology eXchange .

About Us

Professors


Sebastián Uchitel

Nicolás D'Ippolito

Ph.D. Students


Daniel Ciolek

Mariano Cerruti

Ezequiel Castellano

Leandro Nahabedian

M.Sc. Students


Virginia Brassesco
Ivan Pasquini
Victor Wjugow
Daniel Zacharias