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 dedicatedto (1) of synchronous products of finite state machines, and (2) the integration of toolboxes that compute their controllers. It now encompasses the former tool Syntool that was developped in our team during the past years.


previous
next

Logo Inria