A contract negotiation scheme for safety verification of interconnected systems
This paper proposes a (control) barrier function synthesis and safety verification scheme for interconnected nonlinear systems based on assume-guarantee contracts (AGC) and sum-of-squares (SOS) techniques. It is well-known that the SOS approach does not scale well for barrier function synthesis for high-dimensional systems. In this paper, we show that compositional methods like AGC can mitigate this problem. We formulate the synthesis problem into a set of small-size problems, which constructs local contracts for subsystems, and propose a negotiation scheme among the subsystems at the contract level. The proposed scheme is then implemented numerically on two examples: vehicle platooning and room temperature regulation.
Code (0)
등록된 구현이 없습니다.
Methods 이 논문이 사용한 방법론
Similar Papers 제목 키워드 기반
Small-Gain Theorem for Safety Verification of Interconnected Systems
A small-gain theorem in the formulation of barrier function is developed in this work for safety verification of interconnected systems. This result is helpful to verify input-to-state safety (ISSf) of the overall system…
Adversarial Negotiation Dynamics in Generative Language Models
Generative language models are increasingly used for contract drafting and enhancement, creating a scenario where competing parties deploy different language models against each other. This introduces not only a game-the…
Language ModelingLanguage ModellingModel SelectionA fair Peer-to-Peer Electricity Market model for Residential Prosumers
In this paper, we propose a bilateral peer-to-peer (P2P) energy trading scheme for residential prosumers with a simplified entry to the market. We formulate the market as an assignment game, a special class of coalitiona…
energy tradingSmall-Gain Theorem for Safety Verification under High-Relative-Degree Constraints
This paper develops a small-gain technique for the safety analysis and verification of interconnected systems with high-relative-degree safety constraints. In this technique, input-to-state safety (ISSf) is used to chara…
Vocal Bursts Intensity PredictionAutomated Peer-to-peer Negotiation for Energy Contract Settlements in Residential Cooperatives
This paper presents an automated peer-to-peer negotiation strategy for settling energy contracts among prosumers in a Residential Energy Cooperative considering heterogeneity prosumer preferences. The heterogeneity arise…
FairnessNavigate