Sequence-based specification of feedback control systems in Simulink®

@inproceedings{Carter2007SequencebasedSO,
  title={Sequence-based specification of feedback control systems in Simulink®},
  author={Jason M. Carter and Jesse H. Poore},
  booktitle={CASCON},
  year={2007}
}
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