中文
相关论文

相关论文: Report on A Formally-Founded Model-Based Approach …

200 篇论文

This paper proposes a framework for adaptively learning a feedback linearization-based tracking controller for an unknown system using discrete-time model-free policy-gradient parameter update rules. The primary advantage of the scheme over…

Autonomous robots may be able to adapt their behavior in response to changes in the environment. This is useful, for example, to efficiently handle limited resources or to respond appropriately to unexpected events such as faults. The…

机器人学 · 计算机科学 2021-03-25 Martin Molina , Pablo Santamaria

Modular Aerial Robot Systems (MARS) consist of multiple drone modules that are physically bound together to form a single structure for flight. Exploiting structural redundancy, MARS can be reconfigured into different formations to mitigate…

机器人学 · 计算机科学 2025-09-18 Rui Huang , Zhiyu Gao , Siyu Tang , Jialin Zhang , Lei He , Ziqian Zhang , Lin Zhao

Best practices of self-sovereign identity (SSI) are being intensively explored in academia and industry. Reusable solutions obtained from best practices are generalized as architectural patterns for systematic analysis and design reference,…

密码学与安全 · 计算机科学 2024-06-04 Yepeng Ding , Hiroyuki Sato

Science and technology have a growing need for effective mechanisms that ensure reliable, controlled performance from black-box machine learning algorithms. These performance guarantees should ideally hold conditionally on the input-that is…

机器学习 · 计算机科学 2025-03-28 Vincent Blot , Anastasios N Angelopoulos , Michael I Jordan , Nicolas J-B Brunel

Fine-tuning is the primary mechanism for adapting foundation models to downstream tasks; however, standard approaches largely optimize task objectives in isolation and do not account for secondary yet critical alignment objectives (e.g.,…

机器学习 · 计算机科学 2026-02-06 Gaurav Bhatt , Aditya Chinchure , Jiawei Zhou , Leonid Sigal

This paper presents a new model-based algorithm that computes predictive optimal controls on-line and in closed loop for traditionally challenging nonlinear systems. Examples demonstrate the same algorithm controlling hybrid impulsive,…

机器人学 · 计算机科学 2017-09-04 Alex Ansari , Todd Murphey

The ability to learn and execute optimal control policies safely is critical to realization of complex autonomy, especially where task restarts are not available and/or the systems are safety-critical. Safety requirements are often…

系统与控制 · 电气工程与系统科学 2021-10-06 S M Nahid Mahmud , Moad Abudia , Scott A Nivison , Zachary I. Bell , Rushikesh Kamalapurkar

This paper develops some extensions to the work of [1] which studied the continuous-time adaptive output tracking control schemes with the reference output signal generated from an unknown reference model system. The presented extensions…

系统与控制 · 电气工程与系统科学 2024-12-17 Gang Tao

Although pre-trained language models encode generic knowledge beneficial for planning and control, they may fail to generate appropriate control policies for domain-specific tasks. Existing fine-tuning methods use human feedback to address…

人工智能 · 计算机科学 2024-04-02 Yunhao Yang , Neel P. Bhatt , Tyler Ingebrand , William Ward , Steven Carr , Zhangyang Wang , Ufuk Topcu

Large language models (LLMs) have recently demonstrated the potential in acting as autonomous agents for sequential decision-making tasks. However, most existing methods either take actions greedily without planning or rely on static plans…

计算与语言 · 计算机科学 2023-06-01 Haotian Sun , Yuchen Zhuang , Lingkai Kong , Bo Dai , Chao Zhang

Reactive systems are characterized by the interaction with the environment, where the exchange of the input and output stimuli, usually, occurs asynchronously. Systems of this nature, in general, require a rigorous testing activity over…

软件工程 · 计算机科学 2020-11-03 Adilson Luiz Bonifacio , Camila Sonoda Gomes

Dynamically Adaptive Systems modify their behav- ior and structure in response to changes in their surrounding environment and according to an adaptation logic. Critical sys- tems increasingly incorporate dynamic adaptation capabilities;…

软件工程 · 计算机科学 2012-05-28 Alexandre Bartel , Benoit Baudry , Freddy Munoz , Jacques Klein , Tejeddine Mouelhi , Yves Le Traon

Long-term autonomy requires autonomous systems to adapt as their capabilities no longer perform as expected. To achieve this, a system must first be capable of detecting such changes. In this position paper, we describe a system…

多智能体系统 · 计算机科学 2020-07-24 Peter Stringer , Rafael C. Cardoso , Xiaowei Huang , Louise A. Dennis

This manuscript considers the problem of ensuring stability and safety during formation control with distributed multi-agent systems in the presence of parametric uncertainty in the dynamics and limited communication. We propose an…

系统与控制 · 电气工程与系统科学 2026-03-24 Jose A. Solano-Castellanos , Peter A. Fisher , Anuradha Annaswamy

Literature on the modeling and simulation of complex adaptive systems (cas) has primarily advanced vertically in different scientific domains with scientists developing a variety of domain-specific approaches and applications. However,…

多智能体系统 · 计算机科学 2017-08-09 Muaz A. Niazi

In its quest for approaches to taming uncertainty in self-adaptive systems (SAS), the research community has largely focused on solutions that adapt the SAS architecture or behaviour in response to uncertainty. By comparison, solutions that…

软件工程 · 计算机科学 2024-02-02 Marc Carwehl , Calum Imrie , Thomas Vogel , Genaína Rodrigues , Radu Calinescu , Lars Grunske

Self-adaptation can be used in robotics to increase system robustness and reliability. This work describes the Metacontrol method for self-adaptation in robotics. Particularly, it details how the MROS (Metacontrol for ROS Systems) framework…

Self-adaptation has been proposed as a mechanism to counter complexity in control problems of technical systems. A major driver behind self-adaptation is the idea to transfer traditional design-time decisions to runtime and into the…

多智能体系统 · 计算机科学 2019-05-13 Stefan Rudolph , Sven Tomforde , Jörg Hähner

This paper explores the properties of adaptive systems with closed-loop reference models. Using additional design freedom available in closed-loop reference models, we design new adaptive controllers that are (a) stable, and (b) have…

最优化与控制 · 数学 2012-10-31 Travis E. Gibson , Anuradha M. Annaswamy , Eugene Lavretsky