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

• Autonomous Reorientation of a Manuever-Limited Spacecraft Under Simple Pointing Constraints  + (cav97-eng)

• On Decentralized Classification using a Network of Mobile Sensors  + (cbm05-icra)
• Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications  + (ccom16-ssci)
• Counter-example Guided Learning of Bounds on Environment Behavior  + (cdpm19-corl)
• Autonomous Driving in Urban Environments: Approaches, Lessons and Challenges  + (cehm09-ptrs-a)
• Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry  + (cemm06-acc)
• On a Decentralized Active Sensing Strategy using Mobile Sensor Platforms in a Network  + (cgbm04-cdc)
• A bio-plausible design for visual attitude stabilization  + (chfm09-cdc)
• Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades  + (chm12-icra)
• Robust Estimation Framework with Semantic Measurements  + (chmc19-acc)
• Scheduling for Distributed Sensor Networks with Single Sensor Measurement per Time Step  + (chu+04-icra)
• Nonlinear Control of Rotating Stall and Surge with Axisymmetric Bleed and Air Injection on Axial Flow Compressors  + (chy98-phd)
• Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation  + (cltbm12-icra)
• Stability Analysis of Interconnected Nonlinear Systems Under Matrix Feedback  + (cm03-cdc)
• Uncertainty-based Sensor Fusion of Range Data for Real-time Digital Elevation Mapping (RTDEM)  + (cm05-icra)
• Model-Based Estimation of Off-Highway Road Geometry using Single-Axis LADAR and Inertial Sensing  + (cm06-icra)
• Real-valued average consensus over noisy quantized channels  + (cm09-acc)
• Bootstrapping bilinear models of robotic sensorimotor cascades  + (cm10-wafr)
• Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents  + (cm11-icdl)
• A group-theoretic approach to formalizing bootstrapping problems  + (cm11-iros)
• Learning diffeomorphism models of robotic sensorimotor cascades  + (cm12-icra)
• Bootstrapping bilinear models of simple vehicles  + (cm13-ijrr)
• Modeling Dynamic Transcriptional Circuits with CRISPRi  + (cm18-wqbio)
• How to model DNA replication in stochastic models of synthetic genetic circuits (and why)  + (cm21-biorxiv)
• Synthesis of Correct-by-Construction Behavior Trees  + (cmo17-iros)
• Motion planning in observations space with learned diffeomorphism models  + (cnm13-icra)
• End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks  + (comb19-aiaa)
• The Caltech Multi-Vehicle Wireless Testbed  + (cre+02-cdc)
• Alice: An information-rich autonomous vehicle for high-speed desert navigation  + (cre+06-jfr)
• Nonlinear Trajectory Generation for the Caltech Multi-Vehicle Wireless Testbed  + (csm03-ecc)
• 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)
• 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)
• 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)
• Implementation And Simulation Of Phosphorylation-Based Insulator In Transcription-Translation Platform  + (guo+14-wqbio)
• Data Transmission over Networks for Estimation and Control  + (gup+07-tac)
• Time-Delayed Feedback Channel Design: Discrete Time H infty Approach  + (gym14-acc)
• Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations  + (hae+18-adhs)
• Analysis of primitive genetic interactions for the design of a genetic signal differentiator  + (ham19-oupsynbio)
• Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts  + (hamg18-cdc)
• Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids  + (han+13-acc)
• Convex Optimal Uncertainty Quantification  + (han+13-siopt)
• Rapid in vitro engineering of 16 two-input logic gates  + (hay+16-wqbio)
• Design and application of stationary phase combinatorial promoters  + (hcm16-seed)
• A bootstrappable bio-plausible design for visual pose stabilization  + (hcsm10-icra)
• A bio-plausible design for visual pose stabilization  + (hcsm10-iros)
• Characterization of minimum inducer separation time for a two-input integrase-based event detector  + (hhm15-wqbio)