Cover Image

Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sheikhi, Sanaz, Bak, Stanley
Format:	Preprint
Published:	2023
Subjects:	Systems and Control Numerical Analysis
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Finding Unknown Unknowns using Cyber-Physical System Simulators (Extended Report)
by: Wehbe, Semaan Douglas, et al.
Published: (2025)

Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
by: Wetzlinger, Mark, et al.
Published: (2022)

AW-EL-PINNs: A Multi-Task Learning Physics-Informed Neural Network for Euler-Lagrange Systems in Optimal Control Problems
by: Li, Chuandong, et al.
Published: (2025)

Performance Analysis of UAV-Assisted RF-UOWC Systems
by: Devaja, Tijana, et al.
Published: (2024)

Quantum Hardware-in-the-Loop for Optimal Power Flow in Renewable-Integrated Power Systems
by: Kaseb, Zeynab, et al.
Published: (2025)

Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
by: Wetzlinger, Mark, et al.
Published: (2023)

Efficient Simulation of Singularly Perturbed Systems Using a Stabilized Multirate Explicit Scheme
by: Shi, Yibo, et al.
Published: (2025)

Structure-Preserving Discretization and Model Order Reduction of Boundary-Controlled 1D Port-Hamiltonian Systems
by: Toledo-Zucco, Jesus-Pablo, et al.
Published: (2024)

Physics-Informed Machine Learning for Characterizing System Stability
by: Koike, Tomoki, et al.
Published: (2025)

$LDL^\top$ Factorization-based Generalized Low-rank ADI Algorithm for Solving Large-scale Algebraic Riccati Equations
by: Zulfiqar, Umair
Published: (2026)

All-Pass Fractional OPF: A Solver-Friendly, Physics-Preserving Approximation of AC OPF
by: Hasanzadeh, Milad, et al.
Published: (2026)

Interpolatory $\mathcal{H}_2$-optimality Conditions for Structured Linear Time-invariant Systems
by: Mlinarić, Petar, et al.
Published: (2023)

A Heterogeneous Multiscale Method for Efficient Simulation of Power Systems with Inverter-Based Resources
by: Huang, Kaiyang, et al.
Published: (2025)

Interpolatory Necessary Optimality Conditions for Reduced-order Modeling of Parametric Linear Time-invariant Systems
by: Mlinarić, Petar, et al.
Published: (2024)

PINNSim: A Simulator for Power System Dynamics based on Physics-Informed Neural Networks
by: Stiasny, Jochen, et al.
Published: (2023)

Generalized pair-wise logit dynamic and its connection to a mean field game: theoretical and computational investigations focusing on resource management
by: Yoshioka, Hidekazu, et al.
Published: (2024)

PI-Controlled Variable Time-Step Power System Simulation Using an Adaptive Order Differential Transformation Method
by: Huang, Kaiyang, et al.
Published: (2025)

Early-Terminable Energy-Safe Iterative Coupling for Parallel Simulation of Port-Hamiltonian Systems
by: Wei, Qi, et al.
Published: (2026)

On the Existence of Steady-State Solutions to the Equations Governing Fluid Flow in Networks
by: Srinivasan, Shriram, et al.
Published: (2023)

Finite element hybridization of port-Hamiltonian systems
by: Brugnoli, Andrea, et al.
Published: (2023)

The Traffic Reaction Model: A kinetic compartmental approach to road traffic modeling
by: Pereira, M., et al.
Published: (2021)

Performance Evaluation of Single-step Explicit Exponential Integration Methods on Stiff Ordinary Differential Equations
by: Fronk, Colby, et al.
Published: (2024)

A Stable, Accurate and Well-Conditioned Time-Domain PMCHWT Formulation
by: Le, Van Chien, et al.
Published: (2025)

Multi-Period Sparse Optimization for Proactive Grid Blackout Diagnosis
by: Ma, Qinghua, et al.
Published: (2025)

Implementing PID Controller on a hand follower robot using Numerical Methods
by: Mostafa, Mostafa A., et al.
Published: (2025)

Application of Kalman Filter in Stochastic Differential Equations
by: Bao, Wencheng, et al.
Published: (2024)

Improving Numerical Stability and Accuracy in Partitioned Methods with Algebraic Prediction
by: Ali, Ahmad, et al.
Published: (2024)

A Thermo-Electro-Mechanical Model for Long-Term Reliability of Aging Transmission Lines
by: De Moraes, Eduardo A. Barros, et al.
Published: (2024)

Dimension and model reduction approaches for linear Bayesian inverse problems with rank-deficient prior covariances
by: König, Josie, et al.
Published: (2025)

Efficient High-Order Participation Factor Computation via Batch-Structured Tensor Contraction
by: Sajjadi, Mahsa, et al.
Published: (2025)

On the velocity-stress formulation for geometrically nonlinear elastodynamics and its structure-preserving discretization
by: Thoma, Tobias, et al.
Published: (2022)

Proper Implicit Discretization of Arbitrary-Order Robust Exact Differentiators
by: Seeber, Richard
Published: (2024)

A new time-stepping strategy and boundary treatment to improve recent 2d traffic model
by: Kemm, Friedemann
Published: (2025)

Microgrids optimal radial reconfiguration via FORWARD algorithm
by: Gallart, Joan Vendrell, et al.
Published: (2025)

Matrix Pencil-Based Analysis of Multirate Simulation Schemes
by: Huang, Liya, et al.
Published: (2025)

Multi-Scenario and Stochastic Thermo-Electro-Mechanical Modeling of Failure in Power Transmission Lines
by: KC, Prakash, et al.
Published: (2024)

Scattering-Passive Structure-Preserving Finite Element Method for the Boundary Controlled Transport Equation with a Moving Mesh
by: Toledo-Zucco, Jesus-Pablo, et al.
Published: (2024)

A Unified Low-rank ADI Framework with Shared Linear Solves for Simultaneously Solving Multiple Lyapunov, Sylvester, and Riccati Equations
by: Zulfiqar, Umair, et al.
Published: (2025)

Damping Identification Sensitivity in Flutter Speed Estimation
by: Dessena, Gabriele, et al.
Published: (2025)

A Low-rank ADI Algorithm for Solving Large-scale Non-symmetric Algebraic Riccati Equations
by: Zulfiqar, Umair
Published: (2026)