Abstract: This paper deals with the synthesis of controllers for (max,+) linear systems. The objective of the controllers is to guarantee that the state trajectories are maintained within a ...

Abstract: We study the problem of co-designing control barrier functions (CBFs) and affine state feedback controllers for continuous-time linear systems. The co-design problem is known to be generally ...

A Claude Code plugin for implementing features using Outside-In Test-Driven Development with DDD patterns in hexagonal architecture projects. Each implementation phase runs in a fresh subagent with a ...