Transfer function synthesis from the Nyquist locus and the lognyquist locus of a system
Timing constraints of real-time application : an attempt to verification
The use of Binary Decision Diagrams for reliability evaluation
The Use of 2D Systems Theory for the Control of Time-Delay Systems
The SACALOO system and the GRAFCET interpretation algorithm
The fieldbus FIP and modelisation by using stochastic timed Petri nets
The continuous Petri net with maximal speeds depending on time