How omidakbarzadeh1991/from-data-to-control works
This MATLAB companion repository reproduces a data-driven control-synthesis workflow and its paper experiments. The documented network scripts collect a noisy input–state trajectory, synthesize a control storage certificate and local controller, verify a network compositionality condition, then compute initial and unsafe level sets. Separate scripts simulate the Lorenz and spacecraft networks, compare dissipativity with small-gain compositionality, and reproduce a complexity figure. The README documents these relationships; no source excerpts were available to verify finer implementation details.
Main entry points: Spacecraft_Fully_Network.m Spacecraft synthesis · Lorenz_Fully_Network.m Lorenz synthesis · Signed_Lorenz_Comparison.m Signed Lorenz comparison · Spacecraft_Fully_Simulation.m Spacecraft simulation
Components 15
Control synthesis
- Spacecraft synthesis
Spacecraft_Fully_Network.m - Lorenz synthesis
Lorenz_Fully_Network.m - Noisy trajectory
Spacecraft_Fully_Network.m - Certificate and controller
Spacecraft_Fully_Network.m - Network verification
Spacecraft_Fully_Network.m - Level sets
Spacecraft_Fully_Network.m
Network experiments
- Spacecraft simulation
Spacecraft_Fully_Simulation.m - Lorenz simulation
Lorenz_Fully_Simulation.m
Comparisons
- Complexity figure
Complexity_Comparison.m - Signed Lorenz comparison
Signed_Lorenz_Comparison.m - Two certificates
Signed_Lorenz_Comparison.m - Condition comparison
Signed_Lorenz_Comparison.m
Other components
- MATLAB user
- SOSTOOLS
- MOSEK
Connections 22
- MATLAB user → Spacecraft synthesis: runs
README.md - MATLAB user → Lorenz synthesis: runs
README.md - MATLAB user → Spacecraft simulation: runs
README.md - MATLAB user → Lorenz simulation: runs
README.md - MATLAB user → Complexity figure: runs
README.md - MATLAB user → Signed Lorenz comparison: runs
README.md - Spacecraft synthesis → Noisy trajectory: collects
README.md - Spacecraft synthesis → Certificate and controller: synthesizes
README.md - Spacecraft synthesis → Network verification: verifies
README.md - Spacecraft synthesis → Level sets: computes
README.md - Lorenz synthesis → Noisy trajectory: collects
README.md - Lorenz synthesis → Certificate and controller: synthesizes
README.md - Lorenz synthesis → Network verification: verifies
README.md - Lorenz synthesis → Level sets: computes
README.md - Spacecraft synthesis → SOSTOOLS: requires
README.md - Spacecraft synthesis → MOSEK: requires
README.md - Lorenz synthesis → SOSTOOLS: requires
README.md - Lorenz synthesis → MOSEK: requires
README.md - Signed Lorenz comparison → Two certificates: synthesizes
README.md - Signed Lorenz comparison → Condition comparison: evaluates
README.md - Signed Lorenz comparison → SOSTOOLS: requires
README.md - Signed Lorenz comparison → MOSEK: requires
README.md