Lupremica - Lua Scripting for Supremica

• 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.

Ämnesord

TEKNIK OCH TEKNOLOGIER  -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)

ENGINEERING AND TECHNOLOGY  -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)

NATURVETENSKAP  -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Computer Sciences (hsv//eng)

Nyckelord

Discrete-Event Systems

Synthesis

Verification

Scripting

Lua

Publikations- och innehållstyp

kon (ämneskategori)

ref (ämneskategori)