Event
Research proposes contractor-based requirement decomposition method for agent systems
1 reports · 1 sources
Sai Sandeep Damera, Ryan Matheu, and John S. Baras of Johns Hopkins University propose a contractor-based requirement decomposition method for agent systems: requirements in SysML v2 with assumptions and requirement constraints are treated as assume/guarantee contracts; after decomposing system requirements over fixed neighbors, the weakest reliable requirement of an open component is the contractor, and it can be expressed in Signal Temporal Logic. The study uses a local controller for a simulated warehouse robot as a case: a language model is made to control the robot under three conditions—contractor requirements, task-only requirements, and natural-language tasks—with the robot's route crossing workers' paths and reaching a dock, and then deliveries in real-time episodes are scored against the real system requirements. This case is used to validate the method; the report does not give comparison results.
Report timeline
- Contract-Based Agentic Systems Engineering: Using Quotient Operations to Achieve Assured System Design
The study proposes treating SysML v2 requirements with assumptions and required constraints as assume/guarantee contracts. After decomposing system requirements over fixed neighbors, the weakest sound requirement for an open component is the contract quotient, which can be expressed in Signal Temporal Logic.
arXiv cs.RO ·