Radial (inflow) turbines with volutes have received limited attention in the body of literature
for open-field wind harvesting. Few existing data in the literature indicate low maximum C p …

Simulation-based verification algorithms can provide formal safety guarantees for nonlinear
and hybrid systems. The previous algorithms rely on user provided model annotations called …

Metric Temporal Logic (MTL) specifications can capture complex state and timing
requirements. Given a nonlinear dynamical system and an MTL specification for that system …

Our modern life increasingly depends on embedded systems. How to develop complex
embedded systems correctly is a grand challenge for computer science and control theory …

We present a modular technique for simulation-based bounded verification for nonlinear
dynamical systems. We introduce the notion of input-to-state discrepancy of each subsystem …

We present a technique for bounded invariant verification of nonlinear networked dynamical
systems with delayed interconnections. The underlying problem in precise bounded-time …

Parameter identifiability is an important aspect of parameter estimation of dynamic system
modelling. Several methods exist to determine identifiability of parameter sets using the …

As society and industry relies more on Cyber-Physical Systems (CPS), any malfunctions can
have unforeseen catastrophic failures. Fault Injection (FI) techniques perturbed a model of a …

It is well known that informal simulation-based design of embedded systems has a low initial
cost and delivers early results; yet it cannot guarantee the correctness and reliability of the …

The validation of the safety properties of Cyber-Physical Systems (CPS) requires
tremendous effort, as the complexity of cyber-physical systems is increasing. A well-known …