Citation
Donze Alexandre. "Robust Satisfaction of Signal Temporal Logics and Applications". Talk or presentation, 26, September, 2011.

Abstract
The Signal Temporal Logic (STL) is adapted to specify rigorously properties constraining real-valued, dense-time signals such as traces resulting from the simulation of continuous and hybrid systems. Recently, we extended STL with a quantitative (robust) interpretation which provides a numerical margin by which a simulation trace satisfies or violate a property. Moreover, we can estimate in some cases the sensitivity of this margin to a parameter change. By combining this information with different parameters exploration strategies, we get an efficient methodology to investigate which properties are satisfied by a model, how robustly these properties are satisfied and how to find parameters values which guarantees a robust satisfaction. I will describe this methodology and the toolbox which implements it, Breach, along with different application examples.

Electronic downloads

• DREAM_Seminar.pdf · application/pdf · 2002 kbytes

• HTML

  Donze Alexandre. <a
  href="http://chess.eecs.berkeley.edu/pubs/855.html"
  ><i>Robust Satisfaction of Signal Temporal Logics
  and Applications</i></a>, Talk or presentation, 
  26, September, 2011.

• Plain text

  Donze Alexandre. "Robust Satisfaction of Signal
  Temporal Logics and Applications". Talk or
  presentation,  26, September, 2011.

• BibTeX

  @presentation{Alexandre11_RobustSatisfactionOfSignalTemporalLogicsApplications,
      author = {Donze Alexandre},
      title = {Robust Satisfaction of Signal Temporal Logics and
                Applications},
      day = {26},
      month = {September},
      year = {2011},
      abstract = {The Signal Temporal Logic (STL) is adapted to
                specify rigorously properties constraining
                real-valued, dense-time signals such as traces
                resulting from the simulation of continuous and
                hybrid systems. Recently, we extended STL with a
                quantitative (robust) interpretation which
                provides a numerical margin by which a simulation
                trace satisfies or violate a property. Moreover,
                we can estimate in some cases the sensitivity of
                this margin to a parameter change. By combining
                this information with different parameters
                exploration strategies, we get an efficient
                methodology to investigate which properties are
                satisfied by a model, how robustly these
                properties are satisfied and how to find
                parameters values which guarantees a robust
                satisfaction. I will describe this methodology and
                the toolbox which implements it, Breach, along
                with different application examples.},
      URL = {http://chess.eecs.berkeley.edu/pubs/855.html}
  }
  

Posted by Patricia Derler on 27 Sep 2011.
Groups: chessworkshop
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.