Assume-guarantee contracts for continuous-time systems

DOI10.1016/J.AUTOMATICA.2021.109910MaRDI QIDQ2665717zbMATH OpenOpenAlexFDO

Authors Adnane Saoud, Antoine Girard, Laurent Fribourg

Publication date 19 November 2021

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.automatica.2021.109910

zbMATH Keywords

small-gain theoremcomponent-based designassume-guarantee contractsprefix-closed properties

Mathematics Subject Classification ID

Control/observation systems governed by ordinary differential equations (93C15) Control/observation systems involving computers (process control, etc.) (93C83) Networked control (93B70)

Recommendations

• A small gain theorem for parametric assume-guarantee contracts
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• Change and delay contracts for hybrid system component verification
• scientific article; zbMATH DE number 1794375
• Contracts for schedulability analysis

Cites work

• scientific article; zbMATH DE number 3513598 (Why is no real title available?)
• scientific article; zbMATH DE number 1794359 (Why is no real title available?)
• scientific article; zbMATH DE number 1794375 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 6936882 (Why is no real title available?)
• A Dissipativity Approach to Safety Verification for Interconnected Systems
• A small gain theorem for parametric assume-guarantee contracts
• An ISS small gain theorem for general networks
• Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
• Compositional Synthesis of Finite-State Abstractions
• Compositional abstraction refinement for control synthesis
• Compositional safety analysis using barrier certificates
• Compositional synthesis via a convex parameterization of assume-guarantee contracts
• Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
• Distributed synthesis of state-dependent switching control
• Equivalence of Dynamical Systems by Bisimulation
• Forward completeness, unboundedness observability, and their Lyapunov characterizations
• Hybrid dynamical systems. Modeling, stability, and robustness
• Networks of dissipative systems. Compositional certification of stability, performance, and safety
• Small-gain theorem for ISS systems and applications
• Variational Analysis
• Viability theory

Cited in

(14)

• scientific article; zbMATH DE number 1794375 (Why is no real title available?)
• Change and delay contracts for hybrid system component verification
• Contracts for schedulability analysis
• Synchronous interfaces and assume/guarantee contracts
• Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts
• Compositional analysis for linear systems
• A small gain theorem for parametric assume-guarantee contracts
• Contract Composition for Dynamical Control Systems: Definition and Verification using Linear Programming
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• Lyapunov-like descriptions of strong forward invariance for differential inclusions
• A contract negotiation scheme for safety verification of interconnected systems
• Sufficient conditions for robust safety in differential inclusions using barrier functions
• Hypercontracts
• Decompositional reach-and-stay contract-based control of nonlinear systems with an application to glucose control

This page was built for publication: Assume-guarantee contracts for continuous-time systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2665717)