Search Results - Computing methodologies Artificial intelligence Control methods

Centralized Training and Decentralized Control through the Actor-Critic Paradigm for Highly Optimized Multicores by Dietrich, Benedikt, Khdr, Heba, Henkel, Jorg

“… limitations, like conflicting control decisions and partial observability. These effects can significantly impair the controllers' learning capabilities and the stability of their control policies, causing substantial performance losses…”
Get full text

Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates by Zeng, Xia, Ren, Mengxin, Liu, Zhiming, Yang, Zhengfeng

“… Recently, for safety objectives of various system control tasks, machine learning technologies have been used to achieve ideal training and simulation performance, but formal guarantees are still lacking…”
Get full text

EPOC: An Efficient Pulse Generation Framework with Advanced Synthesis for Quantum Circuits by Cheng, Jinglei, Zhu, Yuchen, Zhou, Yidong, Ren, Hang, Song, Zhixin, Liang, Zhiding

“…In this work, we aim to address the computational overhead challenge in quantum optimal control while reducing circuit latency…”
Get full text

MROS: A framework for robot self-adaptation by Silva, Gustavo Rezende, Garcia, Nadia Hammoudeh, Bozhinoski, Darko, Deshpande, Harshavardhan, Oviedo, Mario Garzon, Wasowski, Andrzej, Montero, Mariano Ramirez, Corbato, Carlos Hernandez

“… This work describes the Metacontrol method for self-adaptation in robotics. Particularly, it details how the MROS…”
Get full text

Collision Prediction for Robotics Accelerators by Shah, Deval, Aamodt, Tor M.

“…Motion planning in dynamic environments is an important task for autonomous robotics. Emerging approaches employ neural networks that can learn by observing…”
Get full text

VMP: Versatile Motion Priors for Robustly Tracking Motion on Physical Characters by Serifi, Agon, Grandia, Ruben, Knoop, Espen, Gross, Markus, Bächer, Moritz

“…Recent progress in physics‐based character control has made it possible to learn policies from unstructured motion data…”
Get full text

PartwiseMPC: Interactive Control of Contact‐Guided Motions by Khoshsiyar, N., Gou, R., Zhou, T., Andrews, S., van de Panne, M.

“… First, we introduce a novel partwise model predictive control (MPC) method that exploits independent planning for body parts when this proves beneficial, while defaulting to whole…”
Get full text

Thinking and Moving: An Efficient Computing Approach for Integrated Task and Motion Planning in Cooperative Embodied AI Systems (Invited Paper) by Wan, Zishen, Du, Yuhang, Ibrahim, Mohamed, Zhao, Yang, Krishna, Tushar, Raychowdhury, Arijit

“…Cooperative embodied AI systems, where multiple agents collaborate to accomplish complex, long-horizon tasks, show significant promise for real-world…”
Get full text

A practical guide for using statistical tests to assess randomized algorithms in software engineering by Arcuri, Andrea, Briand, Lionel

“…Randomized algorithms have been used to successfully address many different types of software engineering problems. This type of algorithms employ a degree of…”
Get full text

GARL: Genetic Algorithm-Augmented Reinforcement Learning to Detect Violations in Marker-Based Autonomous Landing Systems by Liang, Linfeng, Deng, Yao, Morton, Kye, Kallinen, Valtteri, James, Alice, Seth, Avishkar, Kuantama, Endrowednes, Mukhopadhyay, Subhas, Han, Richard, Zheng, Xi

“… Traditional offline testing methods, limited to static environments and predefined trajectories, may miss violation cases caused by dynamic objects like people and animals…”
Get full text

GAssert: A Fully Automated Tool to Improve Assertion Oracles by Terragni, Valerio, Jahangirova, Gunel, Tonella, Paolo, Pezze, Mauro

“…). Given a Java method containing an assertion oracle to improve, GASSERT returns an improved assertion with fewer false positives and false negatives than the initial assertion…”
Get full text

A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems by Caldas, Ricardo Diniz, Rodrigues, Arthur, Gil, Eric Bernd, Rodrigues, Genaina Nunes, Vogel, Thomas, Pelliccione, Patrizio

“…Control theoretical techniques have been successfully adopted as methods for self-adaptive systems design to provide formal guarantees about the effectiveness and robustness of adaptation mechanisms…”
Get full text

Multiagent Traffic Management: A Reservation-Based Intersection Control Mechanism by Dresner, Kurt, Stone, Peter

“… Recent advances in artificial intelligence suggest vehicle navigation by autonomous agents will be possible in the near future…”
Get full text

Evolutionary Computation and Reinforcement Learning for Cyber-physical System Design by Lu, Chengjie

“… We propose to utilize evolutionary computation and reinforcement learning techniques to design control policies that can adapt to the dynamic changes and uncertainties of the environment. Further, novel testing and evaluation approaches that can generate test cases while adapting to dynamic changes in the system and the environment will be explored…”
Get full text

Task implementation of synchronous finite state machines by Di Natale, Marco, Zeng, Haibo

“…Model-based design of embedded control systems using Synchronous Reactive (SR) models is among the best practices for software development in the automotive and aeronautics industry…”
Get full text

An Autonomous Dynamic Camera Method for Effective Remote Teleoperation by Rakita, Daniel, Mutlu, Bilge, Gleicher, Michael

“…In this paper, we present a method that improves the ability of remote users to teleoperate amanipulation robot arm by continuously providing them with an effective viewpoint using a secondcamera-in-hand robot arm…”
Get full text

Playing games with scenario- and resource-aware SDF graphs through policy iteration by Yang, Yang, Geilen, Marc, Basten, Twan, Stuijk, Sander, Corporaal, Henk

“…The two-player mean-payoff game is a well-known game theoretic model that is widely used, for instance in economics and control theory…”
Get full text

On the automation of fixing software bugs by Arcuri, Andrea

“…Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing…”
Get full text

Embodied Affect for Real-World Human-Robot Interaction by Canamero, Lola

“… In this talk, I will address some of the contributions that Embodied Artificial Intelligence can make towards this goal, illustrating…”
Get full text

Tighter Dimensioning of Heterogeneous Multi-Resource Autonomous CPS with Control Performance Guarantees by Roy, Debayan, Chang, Wanli, Mitter, Sanjoy K., Chakraborty, Samarjit

“…In modern autonomous systems, there is typically a large number of connected components realizing complex functionalities. For example, in autonomous vehicles…”
Get full text