Safety verification for distributed parameter systems using barrier functionals

Safety verification for distributed parameter systems using barrier functionals

We study the safety verification problem for a class of distributed parameter systems described by partial differential equations (PDEs), i.e., the problem of checking whether the solutions of the PDE satisfy a set of constraints at a particular point in time. The proposed method is based on an exte...

Bibliográfalaš dieđut
Váldodahkkit:	Ahmadi, M, Valmorbida, G, Papachristodoulou, A
Materiálatiipa:	Journal article
Almmustuhtton:	Elsevier 2017

Geahča maid

Semi-definite programming and functional inequalities for Distributed Parameter Systems
Dahkki: Valmorbida, G, et al.
Almmustuhtton: (2014)

Barrier Functionals for Output Functional Estimation of PDEs
Dahkki: Ahmadi, M, et al.
Almmustuhtton: (2014)

Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates.
Dahkki: Glavaski, S, et al.
Almmustuhtton: (2005)

Distributed safety verification for multi-agent systems
Dahkki: Wang, H, et al.
Almmustuhtton: (2023)

Distributed control design and safety verification for multi-agent systems
Dahkki: Wang, H, et al.
Almmustuhtton: (2024)

Explicit solutions for safety problems using control barrier functions
Dahkki: Wang, H, et al.
Almmustuhtton: (2023)

Enhanced frameworks for safety verification of autonomous rendezvous systems
Dahkki: Maier, C, et al.
Almmustuhtton: (2010)

Safety verification and controller synthesis for systems with input constraints
Dahkki: Wang, H, et al.
Almmustuhtton: (2023)

Stability analysis for a class of partial differential equations via semidefinite programming
Dahkki: Valmorbida, G, et al.
Almmustuhtton: (2015)

Dissipation inequalities for the analysis of a class of PDEs
Dahkki: Ahmadi, M, et al.
Almmustuhtton: (2016)

A contract negotiation scheme for safety verification of interconnected systems
Dahkki: Tan, X, et al.
Almmustuhtton: (2024)

Controlled hybrid system safety verification: Advanced life support system testbed
Dahkki: Glavaski, S, et al.
Almmustuhtton: (2005)

State-feedback design for nonlinear saturating systems
Dahkki: Valmorbida, G, et al.
Almmustuhtton: (2021)

A framework for input–output analysis of wall-bounded shear flows
Dahkki: Ahmadi, M, et al.
Almmustuhtton: (2019)

Neural network verification using polynomial optimisation
Dahkki: Newton, M, et al.
Almmustuhtton: (2022)

Software and Systems Safety − Specification and Verification
Almmustuhtton: (2011)

Temporal verification of reactive systems : safety /
Dahkki: 179321 Manna, Zohar, et al.
Almmustuhtton: (1995)

A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification.
Dahkki: Glavaski, S, et al.
Almmustuhtton: (2007)

Online policy iterations for optimal control of input-saturated systems
Dahkki: Baldi, S, et al.
Almmustuhtton: (2016)

Formal verification of safety-critical hybrid systems
Dahkki: Livadas, Carolos
Almmustuhtton: (2008)

Formal Verification of Safety-Critical Hybrid Systems
Dahkki: Livadas, Carolos
Almmustuhtton: (2023)

An optimization-based method for bounding state functionals of nonlinear stochastic systems
Dahkki: Papachristodoulou, A, et al.
Almmustuhtton: (2016)

Safety requirements for child safety barriers for domestic use
Dahkki: 8096 British Standards Institution

Exploiting sparsity for neural network verification
Dahkki: Newton, M, et al.
Almmustuhtton: (2021)

Convex co-design of control barrier functions and feedback controllers for linear systems
Dahkki: Wang, H, et al.
Almmustuhtton: (2024)

Safety verification of output feedback controllers for nonlinear systems
Dahkki: Abate, A, et al.
Almmustuhtton: (2017)

Modular Verification of Distributed Systems with Grove
Dahkki: Sharma, Upamanyu
Almmustuhtton: (2023)

Verification and validation of safety related software
Dahkki: Arno, Matthew G. (Matthew Gordon)
Almmustuhtton: (2006)

Safety verification of deep neural networks
Dahkki: Huang, X, et al.
Almmustuhtton: (2017)

A functional failure detection method for semiconductor design safety verification
Dahkki: Hai, Zhuoran
Almmustuhtton: (2023)

Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks
Dahkki: Kochems, J, et al.
Almmustuhtton: (2013)

Sparse polynomial optimisation for neural network verification
Dahkki: Newton, M, et al.
Almmustuhtton: (2023)

Positivity conditions of Lyapunov functions for systems with slope restricted nonlinearities
Dahkki: Valmorbida, G, et al.
Almmustuhtton: (2016)

Unbounded Safety Verification for Hardware Using Software Analyzers
Dahkki: Mukherjee, R, et al.
Almmustuhtton: (2015)

Unmatched Control Barrier Functions: Certainty Equivalence Adaptive Safety
Dahkki: Lopez, Brett T., et al.
Almmustuhtton: (2024)

Distributed verification and hardness of distributed approximation
Dahkki: Sarma, Atish Das., et al.
Almmustuhtton: (2013)

Safety verification for automated vehicle maneuvers
Dahkki: Dolginova, Ekaterina, 1977-
Almmustuhtton: (2009)

FPGA based functional verification system /
Dahkki: 264154 Lee, Siaw Cheng
Almmustuhtton: (2006)

Generalised absolute stability using Lyapunov functions with relaxed positivity conditions
Dahkki: Drummond, R, et al.
Almmustuhtton: (2017)

Analysis of developed transition road safety barrier systems
Dahkki: Soltani, M., et al.
Almmustuhtton: (2013)