Discrete Abstraction of Stochastic Nonlinear Systems
Summary :
This paper addresses the discrete abstraction problem for stochastic nonlinear systems with continuous-valued state. The proposed solution is based on a function, called the bisimulation function, which provides a sufficient condition for the existence of a discrete abstraction for a given continuous system. We first introduce the bisimulation function and show how the function solves the problem. Next, a convex optimization based method for constructing a bisimulation function is presented. Finally, the proposed framework is demonstrated by a numerical simulation.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E97-A No.2 pp.452-458
- Publication Date
- 2014/02/01
- Publicized
- Online ISSN
- 1745-1337
- DOI
- 10.1587/transfun.E97.A.452
- Type of Manuscript
- Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
- Category
Authors
Shun-ichi AZUMA
Kyoto University
George J. PAPPAS
University of Pennsylvania
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Shun-ichi AZUMA, George J. PAPPAS, "Discrete Abstraction of Stochastic Nonlinear Systems" in IEICE TRANSACTIONS on Fundamentals,
vol. E97-A, no. 2, pp. 452-458, February 2014, doi: 10.1587/transfun.E97.A.452.
Abstract: This paper addresses the discrete abstraction problem for stochastic nonlinear systems with continuous-valued state. The proposed solution is based on a function, called the bisimulation function, which provides a sufficient condition for the existence of a discrete abstraction for a given continuous system. We first introduce the bisimulation function and show how the function solves the problem. Next, a convex optimization based method for constructing a bisimulation function is presented. Finally, the proposed framework is demonstrated by a numerical simulation.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.E97.A.452/_p
Copy
@ARTICLE{e97-a_2_452,
author={Shun-ichi AZUMA, George J. PAPPAS, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Discrete Abstraction of Stochastic Nonlinear Systems},
year={2014},
volume={E97-A},
number={2},
pages={452-458},
abstract={This paper addresses the discrete abstraction problem for stochastic nonlinear systems with continuous-valued state. The proposed solution is based on a function, called the bisimulation function, which provides a sufficient condition for the existence of a discrete abstraction for a given continuous system. We first introduce the bisimulation function and show how the function solves the problem. Next, a convex optimization based method for constructing a bisimulation function is presented. Finally, the proposed framework is demonstrated by a numerical simulation.},
keywords={},
doi={10.1587/transfun.E97.A.452},
ISSN={1745-1337},
month={February},}
Copy
TY - JOUR
TI - Discrete Abstraction of Stochastic Nonlinear Systems
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 452
EP - 458
AU - Shun-ichi AZUMA
AU - George J. PAPPAS
PY - 2014
DO - 10.1587/transfun.E97.A.452
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E97-A
IS - 2
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - February 2014
AB - This paper addresses the discrete abstraction problem for stochastic nonlinear systems with continuous-valued state. The proposed solution is based on a function, called the bisimulation function, which provides a sufficient condition for the existence of a discrete abstraction for a given continuous system. We first introduce the bisimulation function and show how the function solves the problem. Next, a convex optimization based method for constructing a bisimulation function is presented. Finally, the proposed framework is demonstrated by a numerical simulation.
ER -
English
