Search by property
From Murray Wiki
Jump to navigationJump to search
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
- 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)
- Optimal Control of Affine Connection Control Systems: A Variational Approach + (fm00-cdc)
- Finite-Horizon Optimal Control and Stabilization of Time-Scalable Systems + (fm00-cdc)
- 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)
- The Python Control Systems Library (python-control) + (ful+21-cdc)
- 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)
- Modeling and Control of Thin Film Morphology Using Unsteady Processing Parameters: Problem Formulation and Initial Results + (ggm01-cdc)
- Effective Transition Rates for Epitaxial Growth Using Fast Modulation + (ggm04-prb)
- A Design Study for Thermal Control of a CVD Reactor for YBCO + (ggm98-cca)
- Stability Analysis of Stochastically Varying Formations of Dynamic Agents + (ghm03-cdc)
- On the Synthesis of Control Laws for a Network of Autonomous Agents + (ghm04-acc)
- A Sub-optimal Algorithm to Synthesize Control Laws for a Network of Dynamic Agents + (ghm05-ijc)
- Optimal LQG control across packet-dropping links + (ghm07-scl)
- Systematic Design and Implementation of a Novel Synthetic Fold-Change Detector Biocircuit In Vivo + (ghm15-wqbio)
- On Sensor Coverage by Mobile Sensors + (gjm06-cdc)
- On a Cooperative Pursuit Strategy + (glm06-acc)
- When are Distributed Algorithms Robust? + (glm06-cdc)
- Model Reduction and System Identification for Master Equation Control Systems + (gm03-acc)
- A Frequency Domain Condition for Stability of Interconnected MIMO Systems + (gm04-acc)
- Delay-Based Approximations of Biological Systems for Analysis and Design + (gm12-acc)
- Stabilization of Feedback Systems via Distribution of Delays + (gm12-ifac)
- Quantifying Resource Competition and its Effects in the TX-TL System + (gm16-cdc)
- Voluntary lane-change policy synthesis with reactive control improvisation + (gm18-cdc)
- The effects of time-varying temperature on delays in genetic networks + (gmb15-siads)
- The Dynamics of Thin Film Growth: A Modeling Study + (gmg-ecs)
- Kinetic Monte Carlo Simulation of Dynamic Phenomena in Thin Film Growth + (gmg00-mrs)
- Reduction Strategies for Kinetic Monte Carlo Models of Thin Film Growth + (gmg01-ecs)
- On the Control of Jump Linear Markov Systems with Markov State Estimation + (gmh03-acc)
- On Sensor Fusion in the Presence of Packet-Dropping Communication Channels + (gmh05-cdc)
- Model Reduction via Centering and Karhunen Loeve Expansion + (gmm98-cdc)
- Stability of Discrete Time Systems with Stochastically Delayed Feedback + (gom13-ecc)
- Connected Cruise Control Design Using Probabilistic Model Checking + (gom17-acc)
- Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays + (gqom14-acc)
- Optimal LQG Control Across a Packet-Dropping Link + (gshm04-scl)
- On LQG Control Across a Stochastic Packet-Dropping Link + (gshm05-acc)
- Risk-aware motion planning for automated vehicle among human-driven cars + (gsma19-acc)