A Dynamical Systems Approach to Weighted Graph Matching

A Framework and Architecture for Multi-Robot Coordination

article by Rafael Fierro et al published October 2002 in The International Journal of Robotics Research

A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates

A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks

A distributed auction algorithm for the assignment problem

A distributed dynamical scheme for fastest mixing Markov chains

A duality approach to path planning for multiple robots

A dynamical systems approach to weighted graph matching

A framework for integrating mobility and routing in mobile communication networks

article

A general class of spreading processes with non-Markovian dynamics

A sublinear algorithm for barrier-certificate-based data-driven model validation of dynamical systems

ATPC: Adaptive Transmission Power Control for Wireless Sensor Networks

Abstractions of Hamiltonian control systems

Active Deformable Part Models Inference

Adaptive Communication-Constrained Deployment of Unmanned Vehicle Systems

article by Jerome Le Ny et al published June 2012 in IEEE Journal on Selected Areas in Communications

Adaptive Deployment of Mobile Robotic Networks

An Optimization-Based Approach to Time-Critical Cooperative Surveillance and Coverage with UAVs

An approach to the verification of the Center-TRACON automation system

article published in 1998

An approximately truthful mechanism for electric vehicle charging via joint differential privacy

Anytime Planning for Decentralized Multirobot Active Information Gathering

Approximate Bisimulation: A Bridge Between Computer Science and Control Theory

scholarly article by Antoine Girard & George J. Pappas published January 2011 in European Journal of Control

Approximate Reduction of Dynamical Systems

Approximate Simulation Relations for Hybrid Systems

Approximate Simulation Relations for Hybrid Systems11This research is partially supported by the Région Rhône-Alpes (Projet CalCel) and the NSF Presidential Early CAREER (PECASE) Grant 0132716

Approximate bisimulation relations for constrained linear systems

article by Antoine Girard & George J. Pappas published August 2007 in Automatica

Approximate equivalence and approximate synchronization of metric transition systems

Approximate equivalence and synchronization of metric transition systems

Approximate hierarchies of linear control systems

Approximate reduction of dynamic systems

Approximation Metrics for Discrete and Continuous Systems

article published in 2007

Attack resilient state estimation for autonomous robotic systems

Attack-Resilient State Estimation for Noisy Dynamical Systems

Attack-resilient state estimation in the presence of noise

Automated composition of motion primitives for multi-robot systems from safe LTL specifications

article

Automatic synthesis of robot controllers for tasks with locative prepositions

Automatic verification of linear controller software

Automatically synthesizing a planning and control subsystem for the DARPA urban challenge

Bio-inspired strategy for control of viral spreading in networks

Biosensing and actuation for microbiorobots

article published in 2010

Bisimilar control affine systems

Bisimilar linear systems

Bisimulation Relations for Dynamical and Control Systems

Bisimulation relations for dynamical, control, and hybrid systems

Characterization of novel microsatellite markers in Musa acuminata subsp. burmannicoides, var. Calcutta 4.

scientific article

Closing the loop

Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption

scientific article published in 2021

Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks ⬇️

Coding sensor outputs for injection attacks detection

Composing Abstractions of Hybrid Systems

Compositional Abstractions of Hybrid Control Systems

article

Compositional Modeling and Analysis of Multi-Hop Control Networks

article

Compositional safety analysis using barrier certificates

article

Computation of privacy-preserving prices in smart grids

Control with random access wireless sensors

Controlling biological systems: the lactose regulation system of Escherichia coli

scholarly article by A. Agung Julius et al published July 2007 in Proceedings of the ... American Control Conference. American Control Conference

Coordinated perception by teams of aerial and ground robots

Corrigendum to “Hierarchical trajectory refinement for a class of nonlinear systems” [Automatica 41(4) (2005) 701–708]

scholarly article published in Automatica

Corrigendum: Trade-offs between driving nodes and time-to-control in complex networks

scientific article published on 9 March 2017

Data-Driven Robust Taxi Dispatch Under[-2pt] Demand Uncertainties

Decentralized active information acquisition: Theory and application to multi-robot SLAM

Decidability of Motion Planning with Differential Constraints

Differentially Private Filtering

Differentially private Kalman filtering

Differentially private convex optimization with piecewise affine objectives

Differentially private distributed protocol for electric vehicle charging

Differentially private filtering

Diffusing Private Data Over Networks

scholarly article published September 2018

Discrete Abstraction of Stochastic Nonlinear Systems

Distributed Algorithms for Stochastic Source Seeking With Mobile Robot Networks

article

Distributed connectivity control of mobile networks

Distributed control of mobility & routing in networks of robots

article

Distributed formation control with permutation symmetries

Distributed leader selection

Distributed multi-robot task assignment and formation control

Distributed resource allocation for control of spreading processes

article published in 2015

Distributed topology control of dynamic networks

Dynamic Assignment in Distributed Motion Planning With Local Coordination

Dynamic Assignment in Distributed Motion Planning with Limited Information

Editorial

Elastic multi-particle systems for bounded-curvature path planning

Electrokinetic and optical control of bacterial microrobots

Embedding the Concurrent Autonomous Agent into a Humanoid Robot**This work was supported by CAPES (Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, process number 9174-11-7), CNPq (Conselho Nacional de Desenvolvimento Científico e Te

Finite state abstraction of a stochastic model of the lactose regulation system of Escherichia coli

scholarly article published 2006

Flocking in Fixed and Switching Networks

Flocking while preserving network connectivity

From Reactive to Cognitive Agents: Extending Reinforcement Learning to Generate Symbolic Knowledge Bases

scholarly article published October 2013

From discrete to continuous and back: Abstractions and mesoscopic phenomena in cells

From structured english to robot motion

Galvanotactic Control of Self-Powered Microstructures

Genetic network identification using convex programming.

scientific article published in May 2009

Green scheduling for radiant systems in buildings

Green scheduling of control systems for peak demand reduction

Green scheduling: Scheduling of control systems for peak power reduction

Guest Editorial Special Issue on Control of Cyber-Physical Systems

HMM-based characterization of channel behavior for networked control systems

Hierarchical Control using Approximate Simulation Relations

Hierarchical control system design using approximate simulation

Hierarchical trajectory refinement for a class of nonlinear systems

Hybrid Control and Transport Using Bacteria-Driven Microbiorobots

Hybrid model predictive control of induction of Escherichia coli

scholarly article published 2007

Hypothesis testing framework for active object detection

Identification of stable genetic networks using convex programming

Inferring stable genetic networks from steady-state data

article by Michael M. Zavlanos et al published June 2011 in Automatica

Information acquisition with sensing robots: Algorithms and error bounds

Introduction

Joint Metering and Conflict Resolution in Air Traffic Control

Joint estimation and localization in sensor networks

Leader-Follower Formations: Uncalibrated Vision-Based Localization and Control

Linear Time Logic Control of Discrete-Time Linear Systems

Localization from semantic observations via the matrix permanent

MTL robust testing and verification for LPV systems

Macroscopic resting-state brain dynamics are best described by linear models

scientific article published on 11 December 2023

Maintaining Connectivity in Mobile Robot Networks

Metabolic networks analysis using convex optimization

article

Minimum cost constrained input-output and control configuration co-design problem: A structural systems approach

scholarly article published July 2015

Minimum number of probes for brain dynamics observability

article

Mobility & routing control in networks of robots

article

Model-Free Learning of Optimal Ergodic Policies in Wireless Systems

scientific article published in 2020

Model-based design for seizure control by stimulation

scientific article published on 26 March 2020

Modeling and Analysis of Multi-hop Control Networks

Modeling, control and experimental characterization of microbiorobots

article

Models of communication and control for brain networks: distinctions, convergence, and future outlook

scientific article published on 01 November 2020

Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems

Multi-UAV Cooperative Surveillance with Spatio-Temporal Specifications

Network Integrity in Mobile Robotic Networks

Network synthesis for dynamical system stabilization

Nonholonomic source seeking in switching random fields

Nonmyopic View Planning for Active Object Classification and Pose Estimation

On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem

On the existence of compositional barrier certificates

article

On trajectory optimization for active sensing in Gaussian process models

Opportunistic Control Over Shared Wireless Channels

Opportunistic scheduling of control tasks over shared wireless channels

Opportunistic sensor scheduling in wireless control systems

Optimal Power Management in Wireless Control Systems

Optimal Resource Allocation for Competitive Spreading Processes on Bilayer Networks

article published in 2018

Optimal Resource Allocation for Network Protection Against Spreading Processes

Optimal paths in weighted timed automata

Optimal resource allocation for competing epidemics over arbitrary networks

Optimal resource allocation for containing epidemics on time-varying networks

Optimal temporal logic planning in probabilistic semantic maps ⬇️

Optimal vaccine allocation to control epidemic outbreaks in arbitrary networks

Periodic event-triggered average consensus over directed graphs

Potential Fields for Maintaining Connectivity of Mobile Networks

Power-aware communication for wireless sensor-actuator systems

scholarly article published December 2013

Privacy-preserving release of aggregate dynamic models

Probabilistic testing for stochastic hybrid systems

article

Quotients of Fully Nonlinear Control Systems

R-Charon, a Modeling Language for Reconfigurable Hybrid Systems

Real-time privacy-preserving model-based estimation of traffic flows

article published in 2014

Recycling controllers

Reputation-based networked control with data-corrupting channels

Resilient Flocking for Mobile Robot Teams

Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control

Resource allocation for signal detection with active sensors

Resource constrained LQR control under fast sampling

scholarly article published 2011

Risk of Stochastic Systems for Temporal Logic Specifications

scientific article published on 17 January 2023

Robot deployment with end-to-end communication constraints

scholarly article published December 2011

Robust estimation using context-aware filtering

Robust stability of multi-hop control networks

Robust taxi dispatch under model uncertainties

Robustness analysis for the certification of digital controller implementations

Robustness of attack-resilient state estimators

Robustness of temporal logic specifications for continuous-time signals

article published in 2009

SMC: Satisfiability Modulo Convex Programming

Scalable scheduling algorithms for wireless networked control systems

Selecting Sensors in Biological Fractional-Order Systems

scholarly article published June 2018

Self-triggered pursuit of a single evader

Sensor-Based Dynamic Assignment in Distributed Motion Planning

Sensor-based robot deployment algorithms

scholarly article published December 2010

Sequential composition of robust controller specifications

article

Single cell manipulation using ferromagnetic composite microtransporters

article by Mahmut Selman Sakar et al published 25 January 2010 in Applied Physics Letters

Spectral mapping of brain functional connectivity from diffusion imaging

scientific article

Stability analysis of generalized epidemic models over directed networks

Stabilizability over deterministic relay networks

Stabilization of non-holonomic vehicles under kinematic constraints

Stable multi-particle systems and application in multi-vehicle path planning and coverage

Static output feedback: On essential feasible information patterns

Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli

scholarly article by A. Agung Julius et al published January 2008 in IEEE Transactions on Automatic Control

Stochastic Source Seeking by Mobile Robots

Stochastic game approach for replay attack detection

Stochastic source seeking in complex environments

Subanalytic stratifications and bisimulations

Symbolic Reachability Computation for Families of Linear Vector Fields

Symbolic planning and control of robot motion [Grand Challenges of Robotics]

Synergies in Feature Localization by Air-Ground Robot Teams

article

Taxi Dispatch With Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach

Taxi dispatch with real-time sensing data in metropolitan areas ⬇️

Team-triggered coordination of robotic networks for optimal deployment

Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design

scientific article published on 20 July 2022

Temporal logic motion planning for dynamic robots

article published in 2009

The Swarm at the Edge of the Cloud

article

The Wireless Control Network: A New Approach for Control Over Networks

The Wireless Control Network: Synthesis and robustness

article published in 2010

The wireless control network: Monitoring for malicious behavior

Time-Triggered Implementations of Dynamic Controllers

Time-triggered implementations of dynamic controllers

Topological Conditions for In-Network Stabilization of Dynamical Systems

Topological conditions for wireless control networks

Towards synthesis of platform-aware attack-resilient control systems

Trade-offs between driving nodes and time-to-control in complex networks

scientific article published on 05 January 2017

Trajectory Based Verification Using Local Finite-Time Invariance

Translating Structured English to Robot Controllers

Translating Temporal Logic to Controller Specifications

Unit & Dynamic Typing in Hybrid Systems Modeling with CHARON

Valet parking without a valet

Value of forecasts in planning under uncertainty

Verification Using Simulation

article published in 2006

Where's Waldo? Sensor-Based Temporal Logic Motion Planning

Wireless manipulation of single cells using magnetic microtransporters

article published in 2011