Team VerTeCs

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2003
Project: VerTeCs

Project : vertecs

Section: Software


Keywords : Controller Synthesis , structured systems .

Syntool

Participants : Benoit Gaudin, Hervé Marchand [contact].

Syntool is a tool dedicated to the control of structured discrete systems event. It implements the theory developed in [16] [22]. Syntool has an API allowing the user to graphically describe the different LTS modeling the plant, to perform some controller synthesis computations solving e.g. the forbidden state avoidance problem for structured systems and finally to simulate the result (i.e. the behavior of the controlled system). This tool is currently under testing.


previous
next