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

• Exponential Stabilization of Driftless Nonlinear Control Systems  + (06:20:53, 15 May 2016)
• Nonholonomic Mechanics and Locomotion: The Snakeboard Example  + (06:20:54, 15 May 2016)
• Experiments in Exponential Stabilization of a Mobile Robot Towing a Trailer  + (06:20:55, 15 May 2016)
• Applications and Extensions of Goursat Normal Form to Control of Nonlinear Systems  + (06:20:56, 15 May 2016)
• Nonholonomic Motion Planning: Steering Using Sinusoids  + (06:20:57, 15 May 2016)
• Trajectory generation for the N-trailer problem using Goursat normal form  + (06:20:58, 15 May 2016)
• Control Primitives for Robot Systems  + (06:21:00, 15 May 2016)
• A Case Study in Approximate Linearization: The Acrobot Example  + (06:21:01, 15 May 2016)
• Robotic Control and Nonholonomic Motion Planning  + (06:21:02, 15 May 2016)
• Experiments in Planar Manipulation and Grasping  + (06:21:03, 15 May 2016)
• Property:Source  + (17:12:17, 15 May 2016)
• Property:ID  + (17:12:47, 15 May 2016)
• Property:Authors  + (17:12:47, 15 May 2016)
• Property:Flags  + (17:13:32, 15 May 2016)
• Property:URL  + (17:14:16, 15 May 2016)
• Category:Papers  + (17:14:54, 15 May 2016)
• Property:Tag  + (17:15:08, 15 May 2016)
• Property:Abstract  + (17:15:11, 15 May 2016)
• Property:Funding  + (20:21:36, 15 May 2016)
• User:Murray/Papers  + (16:10:33, 16 May 2016)
• User:Admin/Projects  + (17:21:02, 16 May 2016)
• Use of population-level cell-state switching for recording transient inducer pulses  + (17:36:22, 16 May 2016)
• Linear System Identifiability from Distributional and Time Series Data  + (21:57:40, 16 May 2016)
• Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications  + (22:05:19, 16 May 2016)
• CDS 240, Spring 2016  + (13:27:26, 17 May 2016)
• CDS 240, Spring 2016: HW 4  + (13:28:53, 17 May 2016)
• Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations  + (13:33:39, 17 May 2016)
• Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry  + (13:35:44, 17 May 2016)
• A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode  + (13:36:49, 17 May 2016)
• Linear models for control of cavity flow oscillations  + (13:38:23, 17 May 2016)
• Model-Based Control of Cavity Oscillations, Part I: Experiments  + (14:45:50, 17 May 2016)
• Resource usage and gene circuit performance characterization in a cell-free ‘breadboard’  + (15:17:21, 17 May 2016)
• Biomolecular resource utilization in elementary cell-free gene circuits  + (15:17:58, 17 May 2016)
• User:Vhsiao  + (19:54:02, 17 May 2016)
• Characterization of minimum inducer separation time for a two-input integrase-based event detector  + (02:11:08, 18 May 2016)
• Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications  + (12:54:18, 19 May 2016)
• JPL SR&D15  + (12:54:54, 19 May 2016)
• Design Space Exploration of the Violacein Pathway in Escherichia coli Based Cell-Free System  + (13:02:44, 19 May 2016)
• Decentralized Multi-Agent Optimization via Dual Decomposition  + (08:17:38, 20 May 2016)
• Model Predictive Control for an Uncertain Smart Thermal Grid  + (22:03:24, 28 May 2016)
• Robust Model Predictive Control for Signal Temporal Logic Synthesis  + (22:12:07, 28 May 2016)
• Stochastic Gene Expression in Single Gene Oscillator Variants  + (23:25:18, 28 May 2016)
• Group Schedule, Spring 2016  + (01:39:13, 6 June 2016)
• Backtracking temporal logic synthesis for uncertain environments  + (16:51:11, 6 June 2016)
• Category:Biocircuits projects  + (04:50:17, 10 June 2016)
• ICyPhy: Industrial Cyber-Physical Systems  + (04:54:29, 10 June 2016)
• A population-based temporal logic gate for timing and recording chemical events  + (05:02:58, 10 June 2016)
• Synergistic dual positive feedback loops established by molecular sequestration generate robust bimodal response  + (05:15:42, 10 June 2016)
• Reverse Engineering Combination Therapies for Evolutionary Dynamics of Disease: An Hinfty Approach  + (05:18:40, 10 June 2016)
• Population diversification in a yeast metabolic program promotes anticipation of environmental shifts  + (05:18:55, 10 June 2016)

• Design and Implementation of a Biomolecular Circuit for Tracking Protein Concentration  + (05:19:12, 10 June 2016)

• A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor  + (05:19:24, 10 June 2016)
• Bioligically Inspired Feedback Design for Drosophila Flight  + (05:19:37, 10 June 2016)
• Design and implementation of a synthetic biomolecular concentration tracker  + (05:21:19, 10 June 2016)
• Design and application of stationary phase combinatorial promoters  + (05:52:05, 10 June 2016)
• Engineering Transcriptional Regulator Effector Specificity using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor  + (05:52:24, 10 June 2016)
• Characterizing and Prototyping Genetic Networks with Cell-Free Transcription-Translation Reactions  + (05:57:16, 10 June 2016)
• Category:NCS projects  + (06:00:57, 10 June 2016)
• A Contract-Based Methodology for Aircraft Electric Power System Design  + (06:06:44, 10 June 2016)
• Symbolic construction of GR(1) contracts for systems with full information  + (06:06:52, 10 June 2016)
• Cross-entropy Temporal Logic Motion Planning  + (06:07:00, 10 June 2016)
• Reactive Synthesis from Signal Temporal Logic Specifications  + (06:07:10, 10 June 2016)
• Model Predictive Control for Signal Temporal Logic Specifications  + (06:08:16, 10 June 2016)
• Property:Current project  + (22:36:27, 10 June 2016)
• Property:Last name  + (22:36:29, 10 June 2016)
• Property:First name  + (22:36:29, 10 June 2016)
• Category:Group member  + (22:36:38, 10 June 2016)
• Property:Type  + (22:43:12, 10 June 2016)
• Property:Department  + (23:09:23, 10 June 2016)
• Property:Other projects  + (01:35:51, 11 June 2016)
• Synthesis of Control Protocols for Autonomous Systems  + (05:12:33, 11 June 2016)
• Property:Support  + (11:43:27, 11 June 2016)
• Property:Agency  + (11:43:37, 11 June 2016)
• Property:Title  + (11:43:49, 11 June 2016)
• Property:Reports  + (11:44:06, 11 June 2016)
• Category:Project  + (11:44:27, 11 June 2016)
• Projects  + (12:20:53, 11 June 2016)
• User:Murray  + (12:51:36, 11 June 2016)
• Molecular Programming Project  + (19:11:52, 11 June 2016)
• Property:Graduated  + (20:16:59, 11 June 2016)
• Property:Previous positions  + (20:37:15, 11 June 2016)
• Enoch Yeung  + (20:37:47, 11 June 2016)
• Nancy Cao  + (20:38:25, 11 June 2016)
• Ivan Papusha  + (20:44:59, 11 June 2016)
• Miki Yun  + (20:47:29, 11 June 2016)
• An analytical approach to bistable biological circuit discrimination using real algebraic geometry  + (20:57:52, 11 June 2016)
• Rapid in vitro engineering of 16 two-input logic gates  + (20:58:49, 11 June 2016)
• Finding stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively  + (21:01:35, 11 June 2016)
• Design of a Toolbox of RNA Thermometers  + (21:02:00, 11 June 2016)
• Synthetic logic circuits using RNA aptamer against T7 RNA polymerase  + (21:02:32, 11 June 2016)
• Synthetic circuit for exact adaptation and fold-change detection  + (21:02:45, 11 June 2016)
• Sergei Avedisov, June 2016  + (17:33:05, 13 June 2016)
• Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems  + (15:08:26, 19 June 2016)
• File:CIDAR.png  + (02:21:34, 22 June 2016)
• Moclo  + (19:14:40, 29 June 2016)
• Aug 2016 meeting schedule  + (17:59:22, 4 August 2016)
• Alice: An information-rich autonomous vehicle for high-speed desert navigation  + (21:53:29, 20 August 2016)
• Group Schedule, Summer 2016  + (17:41:37, 19 September 2016)
• Sep/Oct 2016 meeting schedule  + (03:22:36, 29 September 2016)
• Control design for hybrid systems with TuLiP: The temporal logic planning toolbox  + (15:41:29, 17 October 2016)
• Connected Cruise Control Design Using Probabilistic Model Checking  + (15:48:59, 17 October 2016)