Skip to main content
Ctrl+K
opt-syn - Home opt-syn - Home
  • Home
  • Get Started
  • How it Works
  • Usage
    • Build the System
      • Repeated Operator Evaluations
      • Time-Varying Optimal Solutions
      • Time-Varying Dynamical Systems
    • Simulate
    • Problem Setup
      • Performance Specifications
      • Configuration
    • Solve and Validate
  • Examples
    • Simulation
      • Noisy Douglas Rachford
      • Nash Equilibrium Seeking
      • Channel Memory
      • Repeated Evaluations
      • Tracking an Oscillator
      • Cyclic Coordinate Descent
      • Time-Varying Delays
    • Analysis
      • Triple Momentum
      • Channel Memory
      • Davis-Yin with Delay
      • Coordinate Descent
      • Proximal Heavy Ball
      • Stochastic Gradient Noise
      • Cocoercive plus Strongly Monotone
      • Tracking an Oscillator
    • Synthesis
      • Channel Memory
      • LASSO
      • Games with Delay
      • Unstable Network
      • Remote Quadratic Programming
      • Stochastic Gradient Noise
      • Repeated Operators
      • Coordinate Descent
      • Sequential Games
      • Switched Systems
  • Documentation
    • Manager
    • Solution
    • Operator Classes
      • Set-Valued Maps
      • Subdifferentials
      • Gradients of Quadratics
    • Plants
      • Generalized Plants
      • Plant Templates
    • Systems
      • Linear Time Invariant
      • Switched
      • Periodic
      • Periodic-Orbit
    • Integral Quadratic Constraints
    • Performance Specifications
    • Configuration
    • Simulation
    • Plotting
  • Changelog
    • What’s new in 0.1.0
  • Resources
  • .md

Synthesis

Synthesis#

These examples perform Synthesis of inclusion algorithms.

  • Channel Memory
  • LASSO
  • Games with Delay
  • Unstable Network
  • Remote Quadratic Programming
  • Stochastic Gradient Noise
  • Repeated Operators
  • Coordinate Descent
  • Sequential Games
  • Switched Systems

previous

Tracking an Oscillator

next

Channel Memory

By opt-syn team

© Copyright 2026, opt-syn team.