Pages that link to "Item:Q2988917"
From MaRDI portal
The following pages link to Compositional construction of approximate abstractions (Q2988917):
Displaying 12 items.
- Symbolic control design for monotone systems with directed specifications (Q1679067) (← links)
- Decentralized abstractions for multi-agent systems under coupled constraints (Q1712902) (← links)
- Compositional construction of abstractions for infinite networks of discrete-time switched systems (Q2123412) (← links)
- Passivity-based analysis of sampled and quantized control implementations (Q2207198) (← links)
- Finite horizon discrete models for multi-agent control systems with coupled dynamics (Q2307531) (← links)
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (Q2374569) (← links)
- Hierarchical analysis of large-scale control systems via vector simulation function (Q2407907) (← links)
- Abstraction-based control synthesis using partial information (Q2667508) (← links)
- (Q3686016) (← links)
- Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems (Q5238255) (← links)
- Constructive Specifications for Compositional Units (Q5458803) (← links)
- Controller synthesis against omega-regular specifications: a funnel-based control approach (Q6577230) (← links)