Citation
Alessandro D’Innocenzo, Alessandro Abate, Maria D. Di Benedetto, Shankar Sastry. "Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems". Decision and Control, 2008. CDC 2008. 47th IEEE Conference on, 221-226, 9, December, 2008.

Abstract
This work presents a procedure to construct a finite abstraction of a controlled discrete-time stochastic hybrid system. The state space and the control space of the original system are partitioned by finite lattices, according to some refinement parameters. The errors introduced by the abstraction procedure can be explicitly computed, over time, given some continuity assumptions on the original model. We show that the errors can be arbitrarily tuned by selecting the partition accuracy. The obtained abstraction can be interpreted as a controlled Markov set-Chain, and can be used both for verification and control design purposes. We test the proposed technique to analyze a model from systems biology.

Electronic downloads

• http://hybrid.stanford.edu/~aabate/pubs.htm
• http://dx.doi.org/10.1109/CDC.2008.4739270

• HTML

  Alessandro D’Innocenzo, Alessandro Abate, Maria D.
  Di Benedetto, Shankar Sastry. <a
  href="http://chess.eecs.berkeley.edu/pubs/443.html"
  >Approximate Abstractions of Discrete-Time Controlled
  Stochastic Hybrid Systems</a>, Decision and Control,
  2008. CDC 2008. 47th IEEE Conference on, 221-226, 9,
  December, 2008.

• Plain text

  Alessandro D’Innocenzo, Alessandro Abate, Maria D.
  Di Benedetto, Shankar Sastry. "Approximate Abstractions
  of Discrete-Time Controlled Stochastic Hybrid Systems".
  Decision and Control, 2008. CDC 2008. 47th IEEE Conference
  on, 221-226, 9, December, 2008.

• BibTeX

  @inproceedings{DInnocenzoAbateDiBenedettoSastry08_ApproximateAbstractionsOfDiscreteTimeControlledStochastic,
      author = {Alessandro D’Innocenzo and Alessandro Abate and
                Maria D. Di Benedetto and Shankar Sastry},
      title = {Approximate Abstractions of Discrete-Time
                Controlled Stochastic Hybrid Systems},
      booktitle = {Decision and Control, 2008. CDC 2008. 47th IEEE
                Conference on},
      pages = {221-226},
      day = {9},
      month = {December},
      year = {2008},
      abstract = {This work presents a procedure to construct a
                finite abstraction of a controlled discrete-time
                stochastic hybrid system. The state space and the
                control space of the original system are
                partitioned by finite lattices, according to some
                refinement parameters. The errors introduced by
                the abstraction procedure can be explicitly
                computed, over time, given some continuity
                assumptions on the original model. We show that
                the errors can be arbitrarily tuned by selecting
                the partition accuracy. The obtained abstraction
                can be interpreted as a controlled Markov
                set-Chain, and can be used both for verification
                and control design purposes. We test the proposed
                technique to analyze a model from systems biology.},
      URL = {http://chess.eecs.berkeley.edu/pubs/443.html}
  }
  

Posted by Alessandro Abate on 16 Jun 2008.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.