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

• A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks  + (bygm15-cdc)
• Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations  + (camm08-aiaa)
• A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode  + (camm08-ifac)
• A robust model predictive control algorithm augmented with a reactive safety mode  + (camm13-automatica)
• 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)