Compositional small-gain framework constructs augmented control barrier certificates from subsystem certificates to synthesize safety controllers and bound safety probability for networks of up to 1000 stochastic hybrid subsystems, reducing complexity to subsystem scale.
Protect: Parallel construction of barrier certificates for safety verification of polynomial systems
3 Pith papers cite this work. Polarity classification is still indexing.
fields
eess.SY 3verdicts
UNVERDICTED 3representative citing papers
Set-based training of neural barrier certificates uses a loss function that encodes all safety properties so that zero loss formally proves the certificate is valid, collapsing iterative training and verification into one procedure.
A physics-informed scenario approach selects data samples close to a physics model to reduce dataset size while constructing guaranteed barrier certificates for infinite-horizon safety of nonlinear systems.
citing papers explorer
-
Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems
Compositional small-gain framework constructs augmented control barrier certificates from subsystem certificates to synthesize safety controllers and bound safety probability for networks of up to 1000 stochastic hybrid subsystems, reducing complexity to subsystem scale.
-
Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
Set-based training of neural barrier certificates uses a loss function that encodes all safety properties so that zero loss formally proves the certificate is valid, collapsing iterative training and verification into one procedure.
-
A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems
A physics-informed scenario approach selects data samples close to a physics model to reduce dataset size while constructing guaranteed barrier certificates for infinite-horizon safety of nonlinear systems.