Formal methods for control of cyber-physical systems

  • Groene Loper 19, Flux

    5612 AP Eindhoven

    Nederland

  • P.O. Box 513, Department of Electrical Engineering

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput 2013 2019

Filter
Congresartikel
2017

Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations

Chen, F., Haesaert, S., Abate, A. & Weiland, S., 1 jul 2017, In : IFAC-PapersOnLine. 50, 1, blz. 15822-15827 6 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftCongresartikelAcademicpeer review

Open Access
Difference equations