Chalmers University of Technology
Whole organizationShowing 17 publications
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems
Compositional Verification in Supervisory Control
A framework for automatic generation of interlocking functions for flexible manufacturing.
Yet another approach to compositional synthesis of discrete event systems
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
Modular Nonblocking Verification Using Conflict Equivalence
Download publication list
You can download this list to your computer.
Export in APA, Vancouver, IEEE as plain text, RTF/Word or html-format.
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.
RSS feed
If you're using an RSS reader or want to do an integration this link will give you the latest publications in RSS format.
This can be caused by an unsupported field namn specified in the search string.