This inventor holds 3 USPTO granted patents and 2 published patent applications and 3 EPO patents. Top assignee: Mitsubishi Electric Corporation. Active years: 2023-2024.
Company Filing History:
Years Active: 2023-2024
Title: Denis Cousineau: Innovator in Programmable Logic Controller Analysis
Introduction
Denis Cousineau is a notable inventor based in Rennes, France. He has made significant contributions to the field of programmable logic controllers (PLCs) through his innovative methods and technologies. With a total of 3 patents to his name, Cousineau's work has had a profound impact on the automation and control systems industry.
Latest Patents
Cousineau's latest patents include a method for analyzing a programmable logic controller program. This method involves translating a PLC program into a program model within a logical framework, from which various properties are determined. The properties, coupled with interlocking properties, are verified by an automated solver. If the contraposition of a property is satisfiable, counter-examples that represent the model's inputs and internal memory values are provided. These counter-examples are then translated into error initial configurations of the model. The execution of the model is simulated with these error initial configurations, and error intermediary configurations are recorded until a property violation occurs. The error initial and intermediary configurations of the original program are derived from the model's configurations and displayed accordingly. An apparatus for executing this method is also provided.
Career Highlights
Throughout his career, Denis Cousineau has worked with prominent companies such as Mitsubishi Electric Corporation and Mitsubishi Electric R&D Centre Europe B.V. His experience in these organizations has allowed him to refine his skills and contribute to advancements in PLC technology.
Collaborations
Cousineau has collaborated with notable colleagues, including David Mentre and Eric Lavillonniere. These partnerships have fostered innovation and the exchange of ideas in the field of programmable logic controllers.
Conclusion
Denis Cousineau's contributions to the analysis of programmable logic controllers have established him as a key figure in the field. His innovative methods and collaborative efforts continue to influence the automation industry.