2014 American Control Conference 2014
DOI: 10.1109/acc.2014.6859056
|View full text |Cite
|
Sign up to set email alerts
|

An algorithmic approach to stability verification of polyhedral switched systems

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
4
0

Year Published

2015
2015
2021
2021

Publication Types

Select...
3
2
2

Relationship

2
5

Authors

Journals

citations
Cited by 9 publications
(4 citation statements)
references
References 12 publications
0
4
0
Order By: Relevance
“…The hybridization procedure is implemented in Averist [15]. Averist is a stability verification tool based on quantitative predicate abstraction.…”
Section: Resultsmentioning
confidence: 99%
See 2 more Smart Citations
“…The hybridization procedure is implemented in Averist [15]. Averist is a stability verification tool based on quantitative predicate abstraction.…”
Section: Resultsmentioning
confidence: 99%
“…To overcome the difficulties with the template based search, an alternate approach based on abstraction-refinement was proposed by the authors in their previous work [14,15] for stability analysis of hybrid systems with piecewise constant and polyhedral inclusion dynamics. Here, a quantitative predicate abstraction (QPA) for stability analysis was presented, which extends the standard finite state graph construction of predicate abstraction [7], by annotating the edges with weights which capture information about the distance of the state to the equilibrium point during evolution along a trajectory.…”
Section: Introductionmentioning
confidence: 99%
See 1 more Smart Citation
“…In practice, to succeed in proving stability, we may need to prune the graph to remove redundant information. For instance, [9,10] consider only the facets of the regions of the partition as nodes.…”
Section: Quantitative Predicate Abstraction (Qpa)mentioning
confidence: 99%