We address input design for piecewise affine systems so as to satisfy a reachability specification, and, simultaneously, detect the inputs that are actually relevant (influential inputs). This can be useful for system verification, when one has to check if some undesired/unsafe behavior coded via a reachability specification can actually occur and then possibly take appropriate corrective actions. The proposed method is based on a procedure to assess whether a set of inputs are non-influential for the given specification. This procedure rests on a geometrical set-containment test that involves a projection of the set of states that the system can reach and the set of states that represents the specification. The test can be formulated as a mixed integer feasibility problem and integrated in a depth-first exploration algorithm that returns the maximum number of non-influential inputs.

A method for detecting relevant inputs while satisfying a reachability specification for piecewise affine systems

VIGNALI, RICCARDO MARIA;PRANDINI, MARIA
2016

Abstract

We address input design for piecewise affine systems so as to satisfy a reachability specification, and, simultaneously, detect the inputs that are actually relevant (influential inputs). This can be useful for system verification, when one has to check if some undesired/unsafe behavior coded via a reachability specification can actually occur and then possibly take appropriate corrective actions. The proposed method is based on a procedure to assess whether a set of inputs are non-influential for the given specification. This procedure rests on a geometrical set-containment test that involves a projection of the set of states that the system can reach and the set of states that represents the specification. The test can be formulated as a mixed integer feasibility problem and integrated in a depth-first exploration algorithm that returns the maximum number of non-influential inputs.
2016 IEEE Conference on Control Applications
978-1-5090-0756-1
File in questo prodotto:
File Dimensione Formato  
2016MSC_0203_FI.pdf

accesso aperto

: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 442.31 kB
Formato Adobe PDF
442.31 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/1009823
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact