M. Courvoisier

Publications

148

Citations

H-Index

1972

Active since

Affiliations

Laboratoire d'Analyse et d'Architecture des Systèmes(Current)

Université Toulouse III - Paul Sabatier

M. Courvoisier is an author at Laboratoire d'Analyse et d'Architecture des Systèmes specializing in computer engineering, engineering, and systems engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringComputer ScienceBusinessAutomationProcess ControlFormal MethodsControl SystemsProduction Systems

Publications per year

1972–2005

Publications

Joining Petri nets and knowledge based systems for monitoring purposes

A.E.K. Sahraoui, H. Atabakhche, M. Courvoisier et al. · 2005 · 65 citations

Petri Net, Engineering, Diagnosis +20

On-Set Realization of Fail-Safe Sequential Machines

María Díaz, Jean‐Claude Geffroy, M. Courvoisier · IEEE Transactions on Computers · 1974 · 26 citations

Engineering, Verification, Formal Verification +16

A hierarchical and modular structure for FMS control and monitoring

Michel Combacau, M. Courvoisier · 2002 · 25 citations

Petri Net, Real-time Control, Engineering +27

A Methodology of Specification and Implementation of Distributed Discrete Control Systems

J. M. Bigou, M. Courvoisier, Hamid Demmou et al. · IEEE Transactions on Industrial Electronics · 1987 · 16 citations

Engineering, Networked Control, System Programming +23

Synthesis of synchronous sequential machines by means of given memory elements

M. A. Diaz, Pierre Azéma, M. Courvoisier et al. · Electronics Letters · 1972 · 16 citations

Logic Synthesis, Engineering, Transition Diagram +11

Rows per page

1–5 of 5