Title
Compositional Construction of Approximate Abstractions of Interconnected Control Systems
Abstract
We consider a compositional construction of approximate abstractions of interconnected control systems. In our framework, an abstraction acts as a substitute in the controller design process and is itself a continuous control system. The abstraction is related to the concrete control system via a so-called simulation function: a Lyapunov-like function, which is used to establish a quantitative bou...
Year
DOI
Venue
2015
10.1109/TCNS.2016.2583063
IEEE Transactions on Control of Network Systems
Keywords
Field
DocType
Interconnected systems,Trajectory,Cognition,Concrete,Aerospace electronics,Nonlinear control systems
Control theory,Abstraction,Control theory,Computer science,Linear temporal logic,Linear subspace,Invariant (mathematics),Control system,Trajectory,restrict
Journal
Volume
Issue
ISSN
5
1
2325-5870
Citations 
PageRank 
References 
4
0.52
11
Authors
2
Name
Order
Citations
PageRank
Matthias Rungger110513.44
Zamani, M.210031.24