Control Software Systems Group
at MPI-SWS in Kaiserslautern, Germany
Menu
Skip to content
Home
Members
Research
Overview
Permissive Templates
Assume/Guarantee SCT
Fairness Assumptions
Context-Triggered ABCD
SCT vs. RS
Symbolic Output-Feedback Control
Discretization-Based ABCD
Funding
Contact
Search for:
test 2
pos2