Sequence-based specification of feedback control systems in Simulink®

  title={Sequence-based specification of feedback control systems in Simulink®},
  author={Jason M. Carter and Jesse H. Poore},
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… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS