Lupremica - Lua Scripting for Supremica
Paper in proceeding, 2023

Supremica is a software tool that implements several state-of-the-art algorithms to manipulate discrete-event systems, such as different types of compositions and compositional supervisor synthesis. Lua is a light-weight programming language suitable as a scripting language embedded into other applications. This paper describes the use of Lua as a scripting language for Supremica. To this end, the LuaJ interpreter is added to Supremica as a bridge between the Java-based implementation of Supremica and the Lua scripts. In this way, Supremica's entire Java API is made available to Lua scripts. Thus, scripts can automatically create automata, and manipulate them with all the algorithms available in Supremica and further manipulate the result with new algorithms implemented by Lua scripts. This opens up a new world of possibilities to try out new ideas and to extend the power of Supremica.

Discrete-Event Systems

Synthesis

Verification

Scripting

Lua

Author

Martin Fabian

Chalmers, Electrical Engineering, Systems and control

Robi Malik

University of Waikato

Sahar Mohajerani

Chalmers, Electrical Engineering, Systems and control

IFAC-PapersOnLine

24058971 (ISSN) 24058963 (eISSN)

Vol. 56 2 6099-6104
9781713872344 (ISBN)

22nd IFAC World Congress
Yokohama, Japan,

Systematic testing of cyber-physical systems (SyTeC)

Swedish Research Council (VR) (2016-06204), 2017-01-01 -- 2022-12-31.

Subject Categories

Control Engineering

Computer Science

DOI

10.1016/j.ifacol.2023.10.704

More information

Latest update

2/9/2024 9