Zobrazeno 1 - 10
of 55
pro vyhledávání: '"93-08"'
Autor:
Adjerid, Hamza, Borggaard, Jeff
Energy functions offer natural extensions of controllability and observability Gramians to nonlinear systems, enabling various applications such as computing reachable sets, optimizing actuator and sensor placement, performing balanced truncation, an
Externí odkaz:
http://arxiv.org/abs/2408.12478
This paper introduces a novel approach to addressing uncertainty and associated risks in power system management, focusing on the discrepancies between forecasted and actual values of load demand and renewable power generation. By employing Economic
Externí odkaz:
http://arxiv.org/abs/2408.04830
Autor:
Carmona, René, Zeng, Claire
Recently, a deep-learning algorithm referred to as Deep Galerkin Method (DGM), has gained a lot of attention among those trying to solve numerically Mean Field Games with finite horizon, even if the performance seems to be decreasing significantly wi
Externí odkaz:
http://arxiv.org/abs/2402.18725
Our paper introduces a novel method for calculating the inverse $\mathcal{Z}$-transform of rational functions. Unlike some existing approaches that rely on partial fraction expansion and involve dividing by $z$, our method allows for the direct compu
Externí odkaz:
http://arxiv.org/abs/2310.09808
Relations Between Generalized JST Algorithm and Kalman Filtering Algorithm for Time Scale Generation
In this paper, we present a generalized Japan Standard Time algorithm (JST-algo) for higher-order atomic clock ensembles and mathematically clarify the relations of the (generalized) JST-algo and the conventional Kalman filtering algorithm (CKF-algo)
Externí odkaz:
http://arxiv.org/abs/2308.12548
Publikováno v:
IEEE Transactions on Software Engineering, 2023
Cyber-Physical Systems (CPSs), comprising both software and physical components, arise in many industry-relevant domains and are often mission- or safety-critical. System-Level Verification (SLV) of CPSs aims at certifying that given (e.g., safety or
Externí odkaz:
http://arxiv.org/abs/2307.15383
Biological networks often encapsulate promotion/inhibition as signed edge-weights of a graph. Nodes may correspond to genes assigned expression levels (mass) of respective proteins. The promotion/inhibition nature of co-expression between nodes is en
Externí odkaz:
http://arxiv.org/abs/2307.07738
Verification and safety assessment of neural network controlled systems (NNCSs) is an emerging challenge. To provide guarantees, verification tools must efficiently capture the interplay between the neural network and the physical system within the c
Externí odkaz:
http://arxiv.org/abs/2306.14619
In this article, we present a structured Kalman filter associated with the transformation matrix for observable Kalman canonical decomposition from conventional Kalman filter (CKF) in order to generate a more accurate time scale. The conventional Kal
Externí odkaz:
http://arxiv.org/abs/2305.05894
Autor:
Miller, Jared, Sznaier, Mario
This work quantifies the safety of trajectories of a dynamical system by the perturbation intensity required to render a system unsafe (crash into the unsafe set). Computation of this measure of safety is posed as a peak-minimizing optimal control pr
Externí odkaz:
http://arxiv.org/abs/2303.11896