CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Supremica–An Efficient Tool for Large-Scale Discrete Event Systems

Robi Malik ; Knut Åkesson (Institutionen för signaler och system, Automation) ; Hugo Flordal ; Martin Fabian (Institutionen för signaler och system, Automation)
The 20th World Congress of the International Federation of Automatic Control, Toulouse, France, 9-14 July 2017 (2017)
[Konferensbidrag, refereegranskat]

Supremica is a tool for the modelling and analysis of discrete-event control functions based on state machine models of the uncontrolled plant and specification of the desired closed-loop behaviour. The modelling framework in Supremica is based on finite-state machines extended with variables, guard conditions, and action functions. In order to handle large-scale problems of industrially interesting size, Supremica uses advanced model checking techniques such as symbolic representations and compositional abstraction. Supremica has been used in several industrial research projects to verify and synthesise control functions for embedded controllers, industrial robots, and flexible manufacturing systems, and to verify program code for autonomous vehicles. This paper gives an overview of the modelling features of Supremica, shows the verification and synthesis facilities and their performance for large problems, and presents some of the industrial applications where Supremica has been used.



Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2017-09-05. Senast ändrad 2017-09-07.
CPL Pubid: 251651

 

Läs direkt!

Lokal fulltext (fritt tillgänglig)


Institutioner (Chalmers)

Institutionen för signaler och system, Automation (2005-2017)

Ämnesområden

Informations- och kommunikationsteknik
Datalogi
Reglerteknik
Datorsystem

Chalmers infrastruktur