3 citations · 6 across the 8 of their papers we have counts for
9 papers
Kernel-based identification of nonlinear port-Hamiltonian systems
Brayan M. Shali, Henk J. van Waarde
Port-Hamiltonian systems provide a structured framework for modeling physical systems by explicitly capturing their energy storage, dissipation, and exchange. However, deriving suc…
Passive and reciprocal linear time-and-space-invariant systems
Brayan M. Shali, Rodolphe Sepulchre
Reciprocity is a fundamental symmetry property observed across many physical domains, including acoustics, elasticity, electromagnetics, and thermodynamics. In systems and control…
Linear time-and-space-invariant relaxation systems
Tihol Ivanov Donchev, Brayan M. Shali, Rodolphe Sepulchre
This paper generalizes the physical property of relaxation from linear time-invariant (LTI) to linear time-and-space-invariant (LTSI) systems. It is shown that the defining feature…
Towards a representer theorem for identification of passive systems
Brayan M. Shali, Henk J. van Waarde
A major problem in system identification is the incorporation of prior knowledge about the physical properties of the given system, such as stability, positivity and passivity. In…
Series composition of simulation-based assume-guarantee contracts for linear dynamical systems
B. M. Shali, H. M. Heidema, A. J. van der Schaft +1
We present assume-guarantee contracts for continuous-time linear dynamical systems with inputs and outputs. These contracts are used to express specifications on the dynamic behavi…
Behavioural assume-guarantee contracts for linear dynamical systems
B. M. Shali, A. J. van der Schaft, B. Besselink
Motivated by the growing requirements on the operation of complex engineering systems, we present contracts as specifications for continuous-time linear dynamical systems with inpu…
Behavioural contracts for linear dynamical systems: input assumptions and output guarantees
B. M. Shali, A. J. van der Schaft, B. Besselink
We introduce contracts for linear dynamical systems with inputs and outputs. Contracts are used to express formal specifications on the dynamic behaviour of such systems through tw…
Scalable controllability analysis of structured networks
J. Jia, B. M. Shali, H. J. van Waarde +2
This paper deals with strong structural controllability of structured networks. A structured network is a family of structured systems (called node systems) that are interconnected…
Properties of pattern matrices with applications to structured systems
B. M. Shali, H. J. van Waarde, M. K. Camlibel +1
The exact parameter values of mathematical models are often uncertain or even unknown. Nevertheless, we may have access to crude information about the parameters, e.g., that some o…