Integrating Verification and Repair into the Control Plane Aaron Gember-Jacobson Costin Raiciu

Source URL: nsg.ee.ethz.ch

• Computing
• Network architecture
• Internet architecture
• Routing protocols
• Internet
• Internet protocols
• Internet Standards
• Routing
• Border Gateway Protocol
• Router
• Forwarding plane
• Control plane

On the Co-Existence of Distributed and Centralized Routing Control-Planes Stefano Vissicchio∗ , Luca Cittadini‡ , Olivier Bonaventure∗ , Geoffrey G. Xie§ , Laurent Vanbever† ∗ Universit´e catholique de Louva

Source URL: inl.info.ucl.ac.be

• Computing
• Routing protocols
• Data transmission
• Network architecture
• Computer networking
• Internet architecture
• Routing
• Internet protocols
• Router
• OpenFlow
• Enhanced Interior Gateway Routing Protocol
• Software-defined networking

Decoupling Prediction and Control in Modern Networks Sandeep Chinchali, Alex Anemogiannis, Tianshu Chu, Marco Pavone, Sachin Katti Forecaster Controller

Source URL: platformlab.stanford.edu

• Controller
• Control theory
• Fiction

advanced-version-control-guide-for-game-developers-2018-digital.pdf

Source URL: www.plasticscm.com

• Software engineering
• Software
• Computer programming
• Version control
• Configuration management
• Merge
• Plastic SCM
• Diff3
• Git
• Apache Subversion
• Branching
• Mercurial

Towards inferring environment models for control functions from recorded signal data Henrik Peters, Falk Howar, Andreas Rausch Clausthal University of Technology, Department of Informatics Julius-Albert-Str. 4, 38678 Cla

Source URL: www.falkhowar.de

• Finite-state machine
• Image segmentation
• Machine learning
• Cellular automata
• Finite automata
• Automata theory
• Cognition
• Cognitive science
• Artificial intelligence

MuJoCo: A physics engine for model-based control Emanuel Todorov, Tom Erez and Yuval Tassa University of Washington Abstract— We describe a new physics engine tailored to model-based control. Multi-joint dynamics are r

Source URL: homes.cs.washington.edu

• Mathematical optimization
• Mechanics
• Physics
• Dynamical systems
• Mechanical engineering
• Contact dynamics
• Linear complementarity problem
• Multibody system
• Trajectory optimization
• Constraint
• Degrees of freedom
• Inverse dynamics

GreenArrays ™ AN003 SRAM Control Cluster Mark 1

Source URL: www.greenarraychips.com

• Computing
• Computer memory
• Data
• Dynamic random-access memory
• Synchronous dynamic random-access memory
• Node
• Static random-access memory

Robotic control through model-free reinforcement learning Hofer Ludovic 1 Introduction

Source URL: icaps16.icaps-conference.org

• Machine learning algorithms
• Applied mathematics
• Computational neuroscience
• Artificial intelligence
• Belief revision
• Reinforcement learning
• Mathematics
• Artificial neural network
• Algorithm

A class of control certificates to ensure Reach-While-Stay for Switched Systems Hadi Ravanbakhsh and Sriram Sankaranarayanan Presented by Sergio Mover University of Colorado Boulder

Source URL: www.react.uni-saarland.de

• Control engineering
• Systems theory
• Systems science
• Control theory
• Cybernetics
• Computational mathematics
• Sliding mode control

PDF Document

Source URL: control.lth.se