Sequence-based specification of feedback control systems in simulink®

Jason M. Carter; Jesse H. Poore

doi:10.1145/1321211.1321257

Sequence-based specification of feedback control systems in simulink®

Jason M. Carter, Jesse H. Poore

Research output: Contribution to conference › Paper › peer-review

12 Scopus citations

Abstract

Solid-state microprocessors with software controlled sensors and actuators have essentially replaced analog control systems. Design systems with extensive libraries and code generators such as the ETAS® ASCET and MATLAB®/Simulink are widely used in industry to design control systems. However, the software engineering methods to help get the design right are missing. Sequence-based specification is a rigorous method that is well suited to the design of embedded control systems. This paper focuses on the adaptation of sequence-based specification to Simulink blocks, feedback control, and state machine generation, while preserving the ability to convert ordinary requirements to precise state machine specifications.

Original language	English
Pages	332-345
Number of pages	14
DOIs	https://doi.org/10.1145/1321211.1321257
State	Published - 2007
Externally published	Yes
Event	2007 Conference of the Center for Advanced Studies on Collaborative Research, CASCON '07 - Richmond Hill, ON, Canada Duration: Oct 22 2007 → Oct 25 2007

Conference

Conference	2007 Conference of the Center for Advanced Studies on Collaborative Research, CASCON '07
Country/Territory	Canada
City	Richmond Hill, ON
Period	10/22/07 → 10/25/07

Access to Document

10.1145/1321211.1321257

Cite this

@conference{7202959834d240feb37289be8c2bcd7d,

title = "Sequence-based specification of feedback control systems in simulink{\textregistered}",

abstract = "Solid-state microprocessors with software controlled sensors and actuators have essentially replaced analog control systems. Design systems with extensive libraries and code generators such as the ETAS{\textregistered} ASCET and MATLAB{\textregistered}/Simulink are widely used in industry to design control systems. However, the software engineering methods to help get the design right are missing. Sequence-based specification is a rigorous method that is well suited to the design of embedded control systems. This paper focuses on the adaptation of sequence-based specification to Simulink blocks, feedback control, and state machine generation, while preserving the ability to convert ordinary requirements to precise state machine specifications.",

author = "Carter, \{Jason M.\} and Poore, \{Jesse H.\}",

year = "2007",

doi = "10.1145/1321211.1321257",

language = "English",

pages = "332--345",

note = "2007 Conference of the Center for Advanced Studies on Collaborative Research, CASCON '07 ; Conference date: 22-10-2007 Through 25-10-2007",

}

TY - CONF

T1 - Sequence-based specification of feedback control systems in simulink®

AU - Carter, Jason M.

AU - Poore, Jesse H.

PY - 2007

Y1 - 2007

N2 - Solid-state microprocessors with software controlled sensors and actuators have essentially replaced analog control systems. Design systems with extensive libraries and code generators such as the ETAS® ASCET and MATLAB®/Simulink are widely used in industry to design control systems. However, the software engineering methods to help get the design right are missing. Sequence-based specification is a rigorous method that is well suited to the design of embedded control systems. This paper focuses on the adaptation of sequence-based specification to Simulink blocks, feedback control, and state machine generation, while preserving the ability to convert ordinary requirements to precise state machine specifications.

AB - Solid-state microprocessors with software controlled sensors and actuators have essentially replaced analog control systems. Design systems with extensive libraries and code generators such as the ETAS® ASCET and MATLAB®/Simulink are widely used in industry to design control systems. However, the software engineering methods to help get the design right are missing. Sequence-based specification is a rigorous method that is well suited to the design of embedded control systems. This paper focuses on the adaptation of sequence-based specification to Simulink blocks, feedback control, and state machine generation, while preserving the ability to convert ordinary requirements to precise state machine specifications.

UR - https://www.scopus.com/pages/publications/77953195786

U2 - 10.1145/1321211.1321257

DO - 10.1145/1321211.1321257

M3 - Paper

AN - SCOPUS:77953195786

SP - 332

EP - 345

T2 - 2007 Conference of the Center for Advanced Studies on Collaborative Research, CASCON '07

Y2 - 22 October 2007 through 25 October 2007

ER -

Sequence-based specification of feedback control systems in simulink®

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this