Detecting design flaws in control systems using optimisation methods

Pontus Boström, Jerker Björkqvist

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    Abstrakti

    Complicated control systems are used in many safety-critical applications, such as in cars and airplanes. Due to the nature of these systems, verification can be very difficult to do analytically or algorithmically. The only feasible analysis and verification method is often simulation. The generation of good test cases that can expose flaws in the controller design is therefore of great importance. In this paper we investigate the use of optimisation methods for finding such test cases automatically. For this purpose we give a language to express assertions in control systems, as well as a translation of the assertions to a form suitable for optimisation. We also discuss different ways to generate the input signals for the systems to maximise performance of the optimisation. To evaluate if optimisation is a feasible approach, we provide a case study demonstrating that optimisation methods are beneficial for investigating properties of control system designs.
    AlkuperäiskieliEi tiedossa
    OtsikkoComputer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006 IEEE
    ToimittajatC Schmid
    Sivut330–335
    Sivumäärä6
    TilaJulkaistu - 2006
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference -
    Kesto: 1 tammikuuta 2010 → …

    Konferenssi

    Konferenssiconference
    Ajanjakso01/01/10 → …

    Viittausmuodot