A mixed approach to rigorous development of control designs

Author

Satpathy, Manoranjan ; Ramesh, S. ; Snook, Chris ; Singh, Neeraj Kumar ; Butler, Mairead

Author_Institution

Indian Inst. of Technol., Bhubaneswar, Bhubaneswar, India

fYear

2013

fDate

28-30 Aug. 2013

Firstpage

7

Lastpage

12

Abstract

The control law of a typical industrial system has a modulating (continuous) component and a sequential/modal component. Control engineers are traditionally good at specifying the modulating part of the control laws unambiguously, correctly and completely. Software engineers have similar skills on the sequential component. In this paper, we discuss a mixed approach in which software and control engineers collaborate to develop control designs. The proposed approach is based upon a novel modeling notation called RRM diagrams. A formal refinement method based on RRM diagrams is developed which enables the development of sequential components as well as control designs. We illustrate our method by considering the case study of a simplified Adaptive Cruise Controller (ACC).

Keywords

control engineering computing; control system synthesis; diagrams; software engineering; ACC; RRM diagrams; adaptive cruise controller; continuous component; control designs; control engineering; control law; formal refinement method; industrial system; modal component; modeling notation; modulating component; sequential component; software engineering; Computational modeling; Control design; Feedback control; Software packages; Vehicles;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Aided Control System Design (CACSD), 2013 IEEE Conference on

Conference_Location

Hyderabad

Type

conf

DOI

10.1109/CACSD.2013.6663474

Filename

6663474