Synchronous design of a transformer station controller with SIGNAL
暂无分享,去创建一个
[1] Hervé Marchand,et al. Specifying and verifying a transformer station in Signal and SignalGTi , 1995 .
[2] Éric Rutten,et al. The sequencing of data flow tasks in SIGNAL: application to active vision in robotics , 1994, Proceedings Sixth Euromicro Workshop on Real-Time Systems.
[3] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[4] Bruno Dutertre,et al. Control of polynomial dynamic systems : an example , 1994 .
[5] Éric Rutten,et al. SIGNAL GTi: implementing task preemption and time intervals in the synchronous data flow language SIGNAL , 1995, Proceedings Seventh Euromicro Workshop on Real-Time Systems.
[6] Paul Le Guernic,et al. Signal: The specification of a generic, verified production cell controller , 1995 .
[7] Paul Le Guernic,et al. Sequencing Data Ow Tasks in Signal , 1994 .
[8] François Chaumette,et al. Applying the Synchronous Approach for Real Time Active Visual Reconstruction , 1994 .
[9] Albert Benveniste,et al. The synchronous approach to reactive and real-time systems , 1991 .
[10] Thierry Gautier,et al. Programming real-time applications with SIGNAL , 1991, Proc. IEEE.