A New Hybrid Automaton Framework with Partial Differential Equation Dynamics
Guardado en:
| Publicado en: | arXiv.org (Apr 18, 2024), p. n/a |
|---|---|
| Autor principal: | |
| Otros Autores: | , , |
| Publicado: |
Cornell University Library, arXiv.org
|
| Materias: | |
| Acceso en línea: | Citation/Abstract Full text outside of ProQuest |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 3041589368 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2331-8422 | ||
| 035 | |a 3041589368 | ||
| 045 | 0 | |b d20240418 | |
| 100 | 1 | |a Bao, Tianshu | |
| 245 | 1 | |a A New Hybrid Automaton Framework with Partial Differential Equation Dynamics | |
| 260 | |b Cornell University Library, arXiv.org |c Apr 18, 2024 | ||
| 513 | |a Working Paper | ||
| 520 | 3 | |a This paper presents the syntax and semantics of a novel type of hybrid automaton (HA) with partial differential equation (PDE) dynamic, partial differential hybrid automata (PDHA). In PDHA, we add a spatial domain \(X\) and harness a mathematic conception, partition, to help us formally define the spatial relations. While classically the dynamics of HA are described by ordinary differential equations (ODEs) and differential inclusions, PDHA is capable of describing the behavior of cyber-physical systems (CPS) with continuous dynamics that cannot be modelled using the canonical hybrid systems' framework. For the purposes of analyzing PDHA, we propose another model called the discrete space partial differential hybrid automata (DSPDHA) which handles discrete spatial domains using finite difference methods (FDM) and this simple and intuitive approach reduces the PDHA into HA with ODE systems. We conclude with two illustrative examples in order to exhibit the nature of PDHA and DSPDHA. | |
| 653 | |a Inclusions | ||
| 653 | |a Semantics | ||
| 653 | |a Hybrid systems | ||
| 653 | |a Cyber-physical systems | ||
| 653 | |a Automata theory | ||
| 653 | |a Finite difference method | ||
| 653 | |a Partial differential equations | ||
| 700 | 1 | |a Du, Hengrong | |
| 700 | 1 | |a Xiang, Weiming | |
| 700 | 1 | |a Johnson, Taylor T | |
| 773 | 0 | |t arXiv.org |g (Apr 18, 2024), p. n/a | |
| 786 | 0 | |d ProQuest |t Engineering Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/3041589368/abstract/embedded/7BTGNMKEMPT1V9Z2?source=fedsrch |
| 856 | 4 | 0 | |3 Full text outside of ProQuest |u http://arxiv.org/abs/2404.11900 |