We introduce control engineering as a new domain of application for formal methods. We discuss design verification, drawing attention to the role played by diagrammatic evaluation criteria involving numeric plots of a design, such as Nichols and Bode plots. We show that symbolic computation and computational logic can be used to discharge these criteria and provide symbolic, automated, and very...

System engineering is one of the most powerful tools for comprehensive project management and control. This tool emphasized the life cycle of the projects, manages every single activity and helps manage the main elements of the project through a set of management and engineering processes. The goal of the current study is to use a system engineering approach in design phase in order or to meet ...

We give the reader a comprehensive overview of the state of the Version Control software engineering field, describing and analysing the concepts, architectural approaches and methods researched and included in the currently widely used version control systems and propose some possible future research directions.

A controller for a real-life system G0 is usually designed on the basis of a model Ĝ of G0 identified using data collected from the true system. When designing the identification experiment, the control engineer often has to make a trade-off between her/his desire of obtaining an accurate model and the economical constraint of keeping the experimental costs low. Obtaining an accurate model requ...

1 College of Computer and Communication Engineering, Zhengzhou University of Light Industry, Zhengzhou 450002, China 2 Department of Armament Engineering, Naval Aeronautical and Astronautical University, Yantai Shandong 264001, China 3 Department of Control Engineering, Naval Aeronautical and Astronautical University, Yantai Shandong 264001, China a [email protected], b [email protected], c richkey...

Based on a review of 71 relevant publications all dealing with control aspects in drying, this paper aims to promote more works in common between drying and control communities. First, it is shown that the use of control tools really started to emerge in drying applications only since 1979. In a second phase started around 1998, new trends based on more advanced concepts have also appeared in d...

Teaching aids for control engineering, Virtual and remote labs Open educational resources E-learning in control engineering, Tele-operation Independent learning Centralized Internet repository for control education Virtual reality in control education Continuing control education in industry, University-industry co-operation in control engineering education Teacher and student exchange programs...

Least costly closed-loop performance diagnosis and plant re-identification A. Mesbaha,∗, X. Bomboisb, M. Forgioneb, H. Hjalmarssonc and P.M.J. Van den Hofd Department of Chemical and Biomolecular Engineering, University of California, Berkeley, CA, USA; Laboratoire Ampère UMR CNRS, Ecole Centrale de Lyon, Ecully Cedex, France; The Automatic Control Laboratory, ACCESS Linnaeus Center, School of ...