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

• Learning-Based Abstractions for Nonlinear Constraint Solving  + (dagm17-ijca)
• Estimation over Communication Networks: Performance Bounds and Achievability Results  + (dan+06-cdc)
• Active Control of an Axial Flow Compressor via Pulsed Air Injection  + (dbm95-cds)
• Active Control of Rotating Stall Using Pulsed Air Injection: A Parametric Study on a Low-Speed, Axial Flow Compressor  + (dbm95-spie)
• State Estimation in Multi-Agent Decision and Control Systems  + (ddv05-phd)
• A Multi-Model Approach to Identification of Biosynthetic Pathways  + (dfm07-acc)
• Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States  + (dfm17-isrr)
• Inverse Abstraction of Neural Networks Using Symbolic Interpolation  + (dgm19-aiaa)
• Design and Implementation of a Biomolecular Circuit for Tracking Protein Concentration  + (dhm13-acc)
• Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor  + (dlS+16-acssynbio)
• Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications  + (dlm16-cdc)
• Enhancing tolerance to unexpected jumps in GR(1) games  + (dlm17-iccps)
• Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications  + (dlrm16-ieeeaero)
• Model Predictive Control of Coordinated Multi-Vehicle Formations  + (dm02-cdc)
• Observability and Local Observer Construction for Unknown Parameters in Linearly and Nonlinearly Parameterized Systems  + (dm03-acc)
• The RoboFlag Competition  + (dm03b-acc)
• Distributed Receding Horizon Control with Applications to Multi-Vehicle Formation Stabilization  + (dm04-automatica)
• Receding Horizon Control of Multi-Vehicle Formations: A Distributed Implementation  + (dm04-cdc)
• Observers for a Class of Hybrid Systems on a Lattice  + (dm04-hscc)
• Observability of a Class of Hybrid Systems on Bounded Lattices  + (dm04a-cdc)
• Discrete State Estimators for a Class of Nondeterministic Hybrid Systems on a Lattice  + (dm04b-cdc)
• Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order  + (dm05-hscc)
• Cascade Discrete-Continuous State Estimators for a Class of Monotone Systems  + (dm05-ifac)
• Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis  + (dm17-cdc)
• Robust Nonlinear Control Theory with Applications to Aerospace Vehicles  + (dm96-ifac)

• Model Predictive Control of a Thurst-Vectored Flight Control Experiment  + (dmfm02-ifac)

• Discrete State Estimators for Systems on a Lattice  + (dmk04-automatica)
• Primitives for Human Motion: A Dynamical Approach  + (dmp01-cds)
• Segmentation of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks  + (dmp03-acc)
• Decomposition of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks  + (dmp03-automatica)
• Classification of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks  + (dmp03-ecc)
• Invariant Sets for Integrators and Quadrotor Obstacle Avoidance  + (dnam20-acc)
• Convergence Properties of Dynamic Agents Consensus Networks with Broken Links  + (dpbm08-acc)
• Length and time scales of cell-cell signaling circuits in agar  + (dpm18-wqbio)
• Distributed Gradient Systems and Dynamic Coordination  + (dps06-phd)
• Regulatory activity revealed by dynamic correlations in gene expression noise  + (dun+08-naturegen)
• Situational Reasoning for Road Driving in an Urban Environment  + (dwbm08-ivcs)
• Using Hierarchical Decomposition to Speed Up Average Consensus  + (eljm08-ifac)
• Bioligically Inspired Feedback Design for Drosophila Flight  + (eps+07-acc)
• Control Over a Network: Using Actuation Buffers to Reduce Transmission Frequency  + (esdm07-ecc)
• An Estimation Algorithm for a Class of Networked Control Systems Using UDP-Like Communication Schemes  + (esm06-cdc)
• Estimation schemes for networked control systems using UDP-like communication  + (esm07-cdc)
• Probabilistic Performance of State Estimation Across a Lossy Network  + (estm08-automatica)
• Differentially Flat Systems with Inequality Constraints: An Approach to Real-Time Feasible Trajectory Generation  + (fam00-gnc)
• Model Predictive Control for an Uncertain Smart Thermal Grid  + (far+16-ecc)
• Optimal and Cooperative Control of Vehicle Formations  + (fax02-phd)
• Nonlinear Control of Mechanical Systems: A Reimannian Geometry Approach  + (fb98-phd)
• Design of insulating devices for in vitro synthetic circuits  + (fdm08)
• Negative autoregulation matches production and demand in synthetic transcriptional networks  + (fgfm13-acs-synbio)
• Robustness Analysis of Accelerometry Using an Electrostatically Suspended Gyroscope  + (fhm99-cca)
• Control design for hybrid systems with TuLiP: The temporal logic planning toolbox  + (fil+16-msc)