Team VerTeCs

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Software

Keywords : Controller Synthesis, structured systems.

Ctrl-S

Participant : Hervé Marchand [ contact ] .

Ctrl-S is a tool dedicated to the control and simulation of structured discrete event systems. Ctrl-S is a graphical tool connected with Oris for the simulation aspect as well as Umdes for the controller synthesis computations. It now encompasses the former tool Syntool that was developped in our team during the past years. This tool is currently under testing.


previous
next

Logo Inria