English
Related papers

Related papers: Combining Refinement of Parametric Models with Goa…

200 papers

The modelling of discrete regulatory networks combines a graph specifying the pairwise influences between the variables of the system, and a parametrisation from which can be derived a discrete transition system. Given the influence graph…

Discrete Mathematics · Computer Science 2018-03-19 Juraj Kolčák , David Šafránek , Stefan Haar , Loïc Paulevé

Projection-based reduced order models are effective at approximating parameter-dependent differential equations that are parametrically separable. When parametric separability is not satisfied, which occurs in both linear and nonlinear…

Numerical Analysis · Mathematics 2021-10-22 Peter Sentz , Kristian Beckwith , Eric C. Cyr , Luke N. Olson , Ravi Patel

We consider networks of finite-state machines having local transitions conditioned by the current state of other automata. In this paper, we depict a reduction procedure tailored for a given reachability property of the form ``from global…

Logic in Computer Science · Computer Science 2016-11-07 Loïc Paulevé

In this work, we propose a new framework for reachable set computation through continuous evolution of a set of parameters and offsets which define a parametope, through the intersection of constraints. This results in a dynamical approach…

Optimization and Control · Mathematics 2025-09-16 Akash Harapanahalli , Samuel Coogan

Simulations of complex physical systems are typically realized by discretizing partial differential equations (PDEs) on unstructured meshes. While neural networks have recently been explored for surrogate and reduced order modeling of PDE…

Machine Learning · Computer Science 2021-10-27 Jiayang Xu , Aniruddhe Pradhan , Karthik Duraisamy

Complex dynamical systems are prevalent in various domains, but their analysis and prediction are hindered by their high dimensionality and nonlinearity. Dimensionality reduction techniques can simplify the system dynamics by reducing the…

Dynamical Systems · Mathematics 2023-11-28 Chengyi Tu , Ying Fan , Tianyu Shi

In spite of the recent interest and advances in linear controllability of complex networks, controlling nonlinear network dynamics remains to be an outstanding problem. We develop an experimentally feasible control framework for nonlinear…

Molecular Networks · Quantitative Biology 2015-09-24 Le-Zhi Wang , Ri-Qi Su , Zi-Gang Huang , Xiao Wang , Wenxu Wang , Celso Grebogi , Ying-Cheng Lai

This paper focuses on the identification of dynamical systems with tailor-made model structures, where neural networks are used to approximate uncertain components and domain knowledge is retained, if available. These model structures are…

Machine Learning · Computer Science 2021-10-29 Marco Forgione , Dario Piga

Goal-conditioned policy learning for robotic manipulation presents significant challenges in maintaining performance across diverse objectives and environments. We introduce Hyper-GoalNet, a framework that generates task-specific policy…

Robotics · Computer Science 2025-12-02 Pei Zhou , Wanting Yao , Qian Luo , Xunzhe Zhou , Yanchao Yang

Theory and methods to obtain parametric reduced-order models by moment matching are presented. The definition of the parametric moment is introduced, and methods (model-based and data-driven) for the approximation of the parametric moment…

Systems and Control · Electrical Eng. & Systems 2025-06-13 Hanqing Zhang , Junyu Mao , Mohammad Fahim Shakib , Giordano Scarciotti

The identification of states and parameters from noisy measurements of a dynamical system is of great practical significance and has received a lot of attention. Classically, this problem is expressed as optimization over a class of models.…

Complex networks theory has commonly been used for modelling and understanding the interactions taking place between the elements composing complex systems. More recently, the use of generative models has gained momentum, as they allow…

Physics and Society · Physics 2016-05-19 Massimiliano Zanin , Marco Correia , Pedro A. C. Sousa , Jorge Cruz

This study presents incremental correction methods for refining neural network parameters or control functions entering into a continuous-time dynamic system to achieve improved solution accuracy in satisfying the interim point constraints…

Optimization and Control · Mathematics 2024-03-12 Namhoon Cho , Hyo-Sang Shin , Antonios Tsourdos , Davide Amato

We recently introduced the joint gramian for combined state and parameter reduction [C. Himpe and M. Ohlberger. Cross-Gramian Based Combined State and Parameter Reduction for Large-Scale Control Systems. arXiv:1302.0634, 2013], which is…

Optimization and Control · Mathematics 2016-08-22 Christian Himpe , Mario Ohlberger

The switch-like character of gene regulation has motivated the use of hybrid, discrete-continuous models of genetic regulatory networks. While powerful techniques for the analysis, verification, and control of hybrid systems have been…

Quantitative Methods · Quantitative Biology 2016-08-14 Grégory Batt , Delphine Ropers , Hidde De Jong , Michel Page , Johannes Geiselmann

Approaches to policy optimization have been motivated from diverse principles, based on how the parametric model is interpreted (e.g. value versus policy representation) or how the learning objective is formulated, yet they share a common…

Machine Learning · Computer Science 2022-06-20 Ramki Gummadi , Saurabh Kumar , Junfeng Wen , Dale Schuurmans

This paper presents several strategies to tune the parameters of metaheuristic methods for (discrete) design optimization of reinforced concrete (RC) structures. A novel utility metric is proposed, based on the area under the average…

Neural and Evolutionary Computing · Computer Science 2021-10-13 Iván Negrin , Dirk Roose , Ernesto Chagoyén

In this paper, we present a novel approach to incrementally learn an Abstract Model of an unknown environment, and show how an agent can reuse the learned model for tackling the Object Goal Navigation task. The Abstract Model is a finite…

Computer Vision and Pattern Recognition · Computer Science 2022-03-08 Tommaso Campari , Leonardo Lamanna , Paolo Traverso , Luciano Serafini , Lamberto Ballan

An artificial neural network architecture, parameterization networks, is proposed for simulating extrapolated dynamics beyond observed data in dynamical systems. Parameterization networks are used to ensure the long term integrity of…

Chaotic Dynamics · Physics 2019-03-21 James P. L. Tan

Inspired by distributed applications that use consensus or other agreement protocols for global coordination, we define a new computational model for parameterized systems that is based on a general global synchronization primitive and…

Formal Languages and Automata Theory · Computer Science 2021-05-07 Nouraldin Jaber , Swen Jacobs , Christopher Wagner , Milind Kulkarni , Roopsha Samanta
‹ Prev 1 2 3 10 Next ›