Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions

被引：0
|
作者：
Xenofon D. Koutsoukos
Panos J. Antsaklis
机构：
[1] Vanderbilt University,Department of Electrical Engineering and Computer Science
[2] University of Notre Dame,Department of Electrical Engineering
来源：
Discrete Event Dynamic Systems | 2003年 / 13卷
关键词：
Dynamical System; State Space; System Theory; General Framework; Hybrid System;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this paper, a novel methodology for analysis of piecewise linear hybrid systems based on discrete abstractions of the continuous dynamics is presented. An important characteristic of the approach is that the available control inputs are taken into consideration in order to simplify the continuous dynamics. Control specifications such as safety and reachability specifications are formulated in terms of partitions of the state space of the system. The approach provides a convenient general framework not only for analysis, but also for controller synthesis of hybrid systems. The research contributions of this paper impact the areas of analysis, verification, and synthesis of piecewise linear hybrid systems.
引用
收藏
页码：203 / 243
页数：40
相关论文
共 50 条
  • [1] Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions
    Koutsoukos, XD
    Antsaklis, PJ
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2003, 13 (03): : 203 - 243
  • [2] Approximate reachability analysis of piecewise-linear dynamical systems
    Asarin, E
    Bournez, O
    Dang, T
    Maler, O
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2000, 1790 : 20 - 31
  • [3] Observability of the discrete state for dynamical piecewise hybrid systems
    Chaib, S
    Boutat, D
    Benali, A
    Barbot, JP
    NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2005, 63 (03) : 423 - 438
  • [4] Reachability in linear dynamical systems
    Hainry, Emmanuel
    LOGIC AND THEORY OF ALGORITHMS, 2008, 5028 : 241 - 250
  • [5] Controllability and reachability of discrete-time planar bimodal piecewise linear systems
    Xu, Jun
    Xie, Lihua
    2006 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2006, 1-12 : 4387 - 4392
  • [6] Discrete abstractions of hybrid systems
    Alur, R
    Henzinger, TA
    Lafferriere, G
    Pappas, GJ
    PROCEEDINGS OF THE IEEE, 2000, 88 (07) : 971 - 984
  • [7] REACHABILITY AND CONTROLLABILITY OF DISCRETE-TIME LINEAR DYNAMICAL-SYSTEMS
    PORTER, B
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 1975, 2 (02) : 115 - 115
  • [8] Discrete reachability of hybrid systems
    Lunze, J
    Nixdorf, B
    INTERNATIONAL JOURNAL OF CONTROL, 2003, 76 (14) : 1453 - 1468
  • [9] Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems
    Lal, Ratan
    Prabhakar, Pavithra
    2018 56TH ANNUAL ALLERTON CONFERENCE ON COMMUNICATION, CONTROL, AND COMPUTING (ALLERTON), 2018, : 848 - 855
  • [10] Regularity Properties of Reachability Maps for Hybrid Dynamical Systems with Applications to Safety
    Maghenem, Mohamed
    Altin, Berk
    Sanfelice, Ricardo G.
    2020 AMERICAN CONTROL CONFERENCE (ACC), 2020, : 1031 - 1036
12345