Incorporating automation logic in online chemical production scheduling

BC Rawlings, V Avadiappan, S Lafortune… - Computers & Chemical …, 2019 - Elsevier
In this paper, we address the problem of incorporating knowledge of the automation system
in a chemical plant into the online scheduling problem. Optimization models for online …

Memory State Feedback Control for Time‐Varying Delay Switched Fuzzy Systems

L Zhang, M Jia, H Yang, G Wu - Advances in Fuzzy Systems, 2019 - Wiley Online Library
Consider the problem of memoryless state feedback controller for time‐delay system, which
cannot consider both the memoryless and the memory items in the system. Therefore, the …

Computationally efficient model predictive control for multi-agent surveillance systems

K Kobayashi, M Kido, Y Yamashita - IEICE Transactions on …, 2019 - search.ieice.org
In this paper, a surveillance system by multiple agents, which is called a multi-agent
surveillance system, is studied. A surveillance area is given by an undirected connected …

Control and safety of autonomous vehicles with learning-enabled components

S Bansal, CJ Tomlin - Safe, Autonomous and Intelligent Vehicles, 2019 - Springer
Real-world autonomous systems, such as autonomous vehicles, often operate in uncertain
and partially observable environments. In such scenarios, designing a controller that …

Robust and decentralized control of multi-agent systems under high-level tasks

A Nikou - 2019 - diva-portal.org
Decentralized control of multi-agent systems is an active topic of research, with many
practical applications arising in multi-robot systems, autonomous driving, transportation …

A co-verification interface design for high-assurance CPS

Y Zhang, M Huang, H Wang, W Feng, J Cheng, H Zhou - 2019 - ntnuopen.ntnu.no
Cyber-Physical Systems (CPS) tightly integrate cyber and physical components and
transcend traditional control systems and embedded system. Such systems are often …

Cross-layer interactions in CPS for performance and certification

S Chakraborty, JH Anderson, M Becker… - … , Automation & Test …, 2019 - ieeexplore.ieee.org
A central challenge in designing embedded control systems or cyber-physical systems
(CPS) is that of translating high-level models of control algorithms into efficient …

Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT

N Beneš, L Brim, J Dražanová, S Pastva… - Proceedings of the 22nd …, 2019 - dl.acm.org
Formal analysis of non-linear continuous and hybrid systems is a hot topic. A common
approach builds on computing a suitable finite discrete abstraction of the continuous system …

Hierarchically consistent motion primitives for quadrotor coordination

M Vukosavljev, AP Schoellig, ME Broucke - arXiv preprint arXiv …, 2019 - arxiv.org
We present a hierarchical framework for motion planning of a large collection of agents. The
proposed framework starts from low level motion primitives over a gridded workspace and …

[PDF][PDF] Tech report: Tunercar: A superoptimization toolchain for autonomous racing

M O'Kelly, A Jain, H Zheng, J Auckley… - … of Pennsylvania, Tech …, 2019 - researchgate.net
TUNERCAR is a toolchain that jointly optimizes racing strategy, planning methods, control
algorithms, and vehicle parameters for an autonomous racecar. In this paper, we detail the …