Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Identification of Decision Rules in a Human-controlled System: Vehicles at a Traffic Intersection  + (Conference Paper)
• On the Synthesis of Control Laws for a Network of Autonomous Agents  + (Conference Paper)
• Stability Analysis of Stochastically Varying Formations of Dynamic Agents  + (Conference Paper)
• Stability Analysis of Interconnected Nonlinear Systems Under Matrix Feedback  + (Conference Paper)
• Agreement Problems in Networks with Directed Graphs and Switching Toplogy  + (Conference Paper)
• Low-Observable Nonlinear Trajectory Generation for Unmanned Air Vehicles  + (Conference Paper)
• Model Reduction and System Identification for Master Equation Control Systems  + (Conference Paper)
• The RoboFlag Competition  + (Conference Paper)
• Nonlinear Trajectory Generation for the Caltech Multi-Vehicle Wireless Testbed  + (Conference Paper)
• Cooperative Task Planning of Multi-Robot Systems with Temporal Constraints  + (Conference Paper)
• Cooperative Control of Multi-Vehicle Systems using Cost Graphs and Optimization  + (Conference Paper)
• Consensus Protocols for Networks of Dynamic Agents  + (Conference Paper)
• Classification of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks  + (Conference Paper)
• Observability and Local Observer Construction for Unknown Parameters in Linearly and Nonlinearly Parameterized Systems  + (Conference Paper)
• Segmentation of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks  + (Conference Paper)
• Vehicle Motion Planning Using Stream Functions  + (Conference Paper)
• On the Control of Jump Linear Markov Systems with Markov State Estimation  + (Conference Paper)
• Real-Time Trajectory Generation for the Cooperative Path Planning of Multi-Vehicle Systems  + (Conference Paper)
• Model Predictive Control of Coordinated Multi-Vehicle Formations  + (Conference Paper)
• Distributed Structural Stabilization and Tracking for Formations of Dynamic Multi-Agents  + (Conference Paper)
• A New Computational Method for Optimal Control of a Class of Constrained Systems Governed by Partial Differential Equations  + (Conference Paper)
• Reduction Strategies for Kinetic Monte Carlo Models of Thin Film Growth  + (Conference Paper)
• Dynamical Models for Control of Cavity Oscillations  + (Conference Paper)
• Modeling and Control of Thin Film Morphology Using Unsteady Processing Parameters: Problem Formulation and Initial Results  + (Conference Paper)
• Constrained Trajectory Generation for Microsatellite Formation Flying  + (Conference Paper)
• J2 Dynamics and Formation Flight  + (Conference Paper)
• POD Based Models of Self-Sustained Oscillations in the Flow Past an Open Cavity  + (Conference Paper)

• Optimal Control of Affine Connection Control Systems: A Variational Approach  + (Conference Submission)
• Finite-Horizon Optimal Control and Stabilization of Time-Scalable Systems  + (Conference Submission)
• Finding stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively  + (Conference Paper)
• Use of population-level cell-state switching for recording transient inducer pulses  + (Conference Paper)
• Linear System Identifiability from Distributional and Time Series Data  + (Conference Paper)
• Symbolic construction of GR(1) contracts for systems with full information  + (Conference Paper)
• Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture  + (Conference Paper)
• Global Dynamical Structure Reconstruction from Reconstructed Dynamical Structure Subnetworks: Applications to Biochemical Reaction Networks  + (Conference Paper)
• Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty  + (Conference Paper)
• Control System Analysis on Symmetric Cones  + (Conference Paper)
• An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis  + (Conference Paper)
• Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles  + (Conference Paper)
• Engineering Principles of Synthetic Biochemical Oscillators with Negative Cyclic Feedback  + (Conference Paper)
• Model Predictive Control for an Uncertain Smart Thermal Grid  + (Conference Paper)
• A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks  + (Conference Paper)
• Synthesis from multi-paradigm specifications  + (Conference Paper)
• Prototyping 1,4-butanediol (BDO) biosynthesis pathway in a cell-free transcription-translation (TX-TL) system  + (Conference Paper)
• Design of a Toolbox of RNA Thermometers  + (Conference Paper)
• Multi-dimensional state estimation in adversarial environment  + (Conference Paper)
• Characterization of minimum inducer separation time for a two-input integrase-based event detector  + (Conference Paper)
• Systematic Design and Implementation of a Novel Synthetic Fold-Change Detector Biocircuit In Vivo  + (Conference Paper)
• A Risk-Aware Architecture for Resilient Spacecraft Operations  + (Conference Paper)
• A State-space Realization Approach to Set Identification of Biochemical Kinetic Parameters  + (Conference Paper)
• Online Horizon Selection in Receding Horizon Temporal Logic Planning  + (Conference Paper)
• Reactive Synthesis from Signal Temporal Logic Specifications  + (Conference Paper)
• Cross-entropy Temporal Logic Motion Planning  + (Conference Paper)
• Variable Elimination for Scalable Receding Horizon Temporal Logic Planning  + (Conference Paper)
• A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications  + (Conference Paper)
• Modeling the Effects of Compositional Context on Promoter Activity in an E. Coli Extract based Transcription-Translation System  + (Conference Paper)
• Designing Robustness to Temperature in a Feedforward Loop Circuit  + (Conference Paper)
• Model Predictive Control with Signal Temporal Logic Specifications  + (Conference Paper)
• Privacy Preserving Average Consensus  + (Conference Paper)
• Hot-swapping robot task goals in reactive formal synthesis  + (Conference Paper)
• Synthesizing Combination Therapies for Evolutionary Dynamics of Disease for Nonlinear Pharmacodynamics  + (Conference Paper)
• Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments  + (Conference Paper)
• Negative Feedback Facilitates Temperature Robustness in Biomolecular Circuit Dynamics  + (Conference Paper)
• Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems  + (Conference Paper)
• System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system  + (Conference Paper)
• Implementation And Simulation Of Phosphorylation-Based Insulator In Transcription-Translation Platform  + (Conference Paper)
• Analysis of Delays in Transcriptional Signaling Networks with Time-Varying Temperature-Dependent Rate Coefficients  + (Conference Paper)
• Efficient control synthesis for augmented finite transition systems with an application to switching protocols  + (Conference Paper)
• Collaborative System Identification via Parameter Consensus  + (Conference Paper)
• Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information  + (Conference Paper)
• A Scalable Formulation for Engineering Combination Therapies for Evolutionary Dynamics of Disease  + (Conference Paper)
• A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications  + (Conference Paper)
• Time-Delayed Feedback Channel Design: Discrete Time H infty Approach  + (Conference Paper)
• Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays  + (Conference Paper)
• Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications  + (Conference Paper)
• Moving bounding boxes and incremental synthesis for dynamic obstacles  + (Conference Paper)