Skip to Main content Skip to Navigation
Theses

Proposition d'une méthode formelle d'automatisation de systèmes de production à l'aide de la méthode B

Abstract : Presented works refers to system engineering in order to facilitate, as soon as possible, a common and consensual representation of services expected from an automated system by the various actors involved in an automation life cycle. Objective is to propose, especially in the initial phase of specification, a formal method that helps in verifying the following predicate : Control specifications ^ Process spécifications => Specifications of system goals. In a complementary way to the works in Automatic control, within the framework of the Supervisory Control theory, for which the system objectives and the process behaviors are perfectly known and modeled, our approach is characterized by a formal abstract representation, based on the B language, that offers a common and consistent vision of the various engineering processes (automation engineering, mechanical engineering, ) and that should be more or less refined before the use of skill-oriented representations.
Document type :
Theses
File URL :
http://docnum.univ-lorraine.fr/prive/SCD_T_2001_0177_LAMBOLEY.pdf
Complete list of metadata

https://hal.univ-lorraine.fr/tel-01746561
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 10:40:20 AM
Last modification on : Tuesday, December 15, 2020 - 12:27:48 PM

Identifiers

  • HAL Id : tel-01746561, version 1

Collections

Citation

Patrick Lamboley. Proposition d'une méthode formelle d'automatisation de systèmes de production à l'aide de la méthode B. Autre. Université Henri Poincaré - Nancy 1, 2001. Français. ⟨NNT : 2001NAN10177⟩. ⟨tel-01746561⟩

Share

Metrics

Record views

54