Lupremica - Lua Scripting for Supremica
Paper in proceeding, 2023
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-61049781713872344 (ISBN)
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