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

• 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)
• Optimal Control of Affine Connection Control Systems: A Variational Approach  + (fm00-cdc)
• Finite-Horizon Optimal Control and Stabilization of Time-Scalable Systems  + (fm00-cdc)
• Graph Laplacians and Stabilization of Vehicle Formations  + (fm01-cds)
• Information Flow and Cooperative Control of Vehicle Formations  + (fm02b-ifac)
• Design and performance of in vitro transcription rate regulatory circuit  + (fm08-cdc)
• A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor  + (fm11-robio)
• Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments  + (fm14-cdc)
• Symbolic construction of GR(1) contracts for systems with full information  + (fm16-acc)
• Hiding variables when decomposing specifications into GR(1) contracts  + (fm17-cdc)
• Layering assume-guarantee contracts for hierarchical system design  + (fm18-pieee)
• Synthesis from multi-paradigm specifications  + (fmh15-synt)
• Dynamic Separation Control in a Low-Speed Asymmetric Diffuser with Varying Downstream Boundary Condition  + (fmm03-fluids)
• Timing molecular motion and production with a synthetic transcriptional clock  + (fra+11-pnas)
• Variable Elimination for Scalable Receding Horizon Temporal Logic Planning  + (frm15-acc)
• Robust Model Predictive Control for Signal Temporal Logic Synthesis  + (frm15-adhs)
• Flight control in a flapping-wing fruit fly simulator  + (ful+07-ine)
• Analysis of Delays in Transcriptional Signaling Networks with Time-Varying Temperature-Dependent Rate Coefficients  + (gbm14-wqbio)
• On a Stochastic Sensor Selection Algorithm with Applications in Sensor Scheduling and Sensor Coverage  + (gchm04-automatica)
• Sensor Scheduling Algorithms Requiring Limited Computation  + (gchm04-icassp)
• Data Transmission over Networks for Estimation  + (gdhm06-mtns)
• On the Effect of Quantization on Performance  + (gdmh06-acc)
• Feedback architectures to regulate flux of components in artificial gene networks  + (gfm13-acc)