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

• Experimental Comparison of Trajectory Trackers for a Car with Trailers  + (15 May 2016 06:20:21)
• On Measures of Non-Integrability of Pfaffian Systems  + (15 May 2016 06:20:22)
• Trajectory Generation for a Towed Cable System using Differential Flatness  + (15 May 2016 06:20:22)
• Nonlinear Control and Modeling of Rotating Stall in an Axial Flow Compressor  + (15 May 2016 06:20:23)
• Trajectory Generation for Nonlinear Control Systems  + (15 May 2016 06:20:24)
• A Homotopy Algorithm for Approximating Geometric Distributions by Integrable Systems  + (15 May 2016 06:20:26)
• Active Control of an Axial Flow Compressor via Pulsed Air Injection  + (15 May 2016 06:20:27)
• Control of Rotating Stall in a Low-Speed Axial Flow Compressor Using Pulsed Air Injection: Modeling, Simulations, and Experimental Validation  + (15 May 2016 06:20:29)
• Configuration Controllability of Simple Mechanical Control Systems  + (15 May 2016 06:20:30)
• Differential Flatness of Mechanical Control Systems: A Catalog of Prototype Systems  + (15 May 2016 06:20:31)
• Real Time Trajectory Generation for Differentially Flat Systems with Unstable Zero Dynamics  + (15 May 2016 06:20:33)
• Converting Smooth, Time-Varying, Asymptotic Stabilizers for Driftless Systems to Homogeneous, Exponential Stabilizers  + (15 May 2016 06:20:34)
• Nonlinear Control of Mechanical Systems: A Lagrangian Perspective  + (15 May 2016 06:20:35)
• Robust Performance Analysis for a Class of Uncertain Nonlinear Systems  + (15 May 2016 06:20:36)
• Equilibrium Controllability for a Class of Mechanical Systems  + (15 May 2016 06:20:37)
• Active Control of Rotating Stall Using Pulsed Air Injection: A Parametric Study on a Low-Speed, Axial Flow Compressor  + (15 May 2016 06:20:38)
• Approximate Trajectory Generation for Differentially Flat Systems with Zero Dynamics  + (15 May 2016 06:20:38)
• Aspects of Geometric Mechanics and Control of Mechanical Systems  + (15 May 2016 06:20:39)
• Grasping with Flexible Link Fingers: An Initial Study  + (15 May 2016 06:20:40)
• A Motion Planner for Nonholonomic Robots  + (15 May 2016 06:20:41)
• Variational Principles in Constrained Systems: Theory and Experiments  + (15 May 2016 06:20:42)
• Proportional Derivative (PD) Control on the Euclidean Group  + (15 May 2016 06:20:42)
• Experimental Evaluation of Air Injection for Actuation of Rotating Stall in a Low Speed, Axial Fan  + (15 May 2016 06:20:43)
• An Efficient Algorithm for Performance Analysis of Nonlinear Control Systems  + (15 May 2016 06:20:44)
• An Experimental Comparison of Controllers for a Vectored Thrust, Ducted Fan Engine  + (15 May 2016 06:20:45)
• Control on the Sphere and Reduced Attitude Stabilization  + (15 May 2016 06:20:45)
• Geometric Phases and Robotic Locomotion  + (15 May 2016 06:20:46)
• Nonholonomic Mechanical Systems and Symmetry  + (15 May 2016 06:20:47)
• Geometric Phases, Control Theory, and Robotics  + (15 May 2016 06:20:48)
• Exponential Stabilization of Driftless Nonlinear Control Systems via Time-varying, Homogeneous Feedback  + (15 May 2016 06:20:49)
• Differential Flatness and Absolute Equivalence of Nonlinear Control Systems  + (15 May 2016 06:20:50)
• Extending Exponential Stabilizers for Nonholonomic Systems from Kinematic Controllers to Dynamic Controllers  + (15 May 2016 06:20:52)
• Stabilization of Trajectories for Systems with Nonholonomic Constraints  + (15 May 2016 06:20:52)
• Exponential Stabilization of Driftless Nonlinear Control Systems  + (15 May 2016 06:20:53)
• Nonholonomic Mechanics and Locomotion: The Snakeboard Example  + (15 May 2016 06:20:54)
• Experiments in Exponential Stabilization of a Mobile Robot Towing a Trailer  + (15 May 2016 06:20:55)
• Applications and Extensions of Goursat Normal Form to Control of Nonlinear Systems  + (15 May 2016 06:20:56)
• Nonholonomic Motion Planning: Steering Using Sinusoids  + (15 May 2016 06:20:57)
• Trajectory generation for the N-trailer problem using Goursat normal form  + (15 May 2016 06:20:58)
• Control Primitives for Robot Systems  + (15 May 2016 06:21:00)
• A Case Study in Approximate Linearization: The Acrobot Example  + (15 May 2016 06:21:01)
• Robotic Control and Nonholonomic Motion Planning  + (15 May 2016 06:21:02)
• Experiments in Planar Manipulation and Grasping  + (15 May 2016 06:21:03)
• Property:Source  + (15 May 2016 17:12:17)
• Property:Authors  + (15 May 2016 17:12:47)
• Property:ID  + (15 May 2016 17:12:47)
• Property:Flags  + (15 May 2016 17:13:32)
• Property:URL  + (15 May 2016 17:14:16)
• Category:Papers  + (15 May 2016 17:14:54)
• Property:Tag  + (15 May 2016 17:15:08)
• Property:Abstract  + (15 May 2016 17:15:11)
• Property:Funding  + (15 May 2016 20:21:36)
• User:Murray/Papers  + (16 May 2016 16:10:33)
• User:Admin/Projects  + (16 May 2016 17:21:02)
• Use of population-level cell-state switching for recording transient inducer pulses  + (16 May 2016 17:36:22)
• Linear System Identifiability from Distributional and Time Series Data  + (16 May 2016 21:57:40)
• Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications  + (16 May 2016 22:05:19)
• CDS 240, Spring 2016  + (17 May 2016 13:27:26)
• CDS 240, Spring 2016: HW 4  + (17 May 2016 13:28:53)
• Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations  + (17 May 2016 13:33:39)
• Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry  + (17 May 2016 13:35:44)
• A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode  + (17 May 2016 13:36:49)
• Linear models for control of cavity flow oscillations  + (17 May 2016 13:38:23)
• Model-Based Control of Cavity Oscillations, Part I: Experiments  + (17 May 2016 14:45:50)
• Resource usage and gene circuit performance characterization in a cell-free ‘breadboard’  + (17 May 2016 15:17:21)
• Biomolecular resource utilization in elementary cell-free gene circuits  + (17 May 2016 15:17:58)
• User:Vhsiao  + (17 May 2016 19:54:02)
• Characterization of minimum inducer separation time for a two-input integrase-based event detector  + (18 May 2016 02:11:08)
• Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications  + (19 May 2016 12:54:18)
• JPL SR&D15  + (19 May 2016 12:54:54)
• Design Space Exploration of the Violacein Pathway in Escherichia coli Based Cell-Free System  + (19 May 2016 13:02:44)
• Decentralized Multi-Agent Optimization via Dual Decomposition  + (20 May 2016 08:17:38)
• Model Predictive Control for an Uncertain Smart Thermal Grid  + (28 May 2016 22:03:24)
• Robust Model Predictive Control for Signal Temporal Logic Synthesis  + (28 May 2016 22:12:07)
• Stochastic Gene Expression in Single Gene Oscillator Variants  + (28 May 2016 23:25:18)
• Group Schedule, Spring 2016  + (6 June 2016 01:39:13)
• Backtracking temporal logic synthesis for uncertain environments  + (6 June 2016 16:51:11)
• Category:Biocircuits projects  + (10 June 2016 04:50:17)
• ICyPhy: Industrial Cyber-Physical Systems  + (10 June 2016 04:54:29)
• A population-based temporal logic gate for timing and recording chemical events  + (10 June 2016 05:02:58)
• Synergistic dual positive feedback loops established by molecular sequestration generate robust bimodal response  + (10 June 2016 05:15:42)
• Reverse Engineering Combination Therapies for Evolutionary Dynamics of Disease: An Hinfty Approach  + (10 June 2016 05:18:40)
• Population diversification in a yeast metabolic program promotes anticipation of environmental shifts  + (10 June 2016 05:18:55)
• Design and Implementation of a Biomolecular Circuit for Tracking Protein Concentration  + (10 June 2016 05:19:12)
• A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor  + (10 June 2016 05:19:24)
• Bioligically Inspired Feedback Design for Drosophila Flight  + (10 June 2016 05:19:37)
• Design and implementation of a synthetic biomolecular concentration tracker  + (10 June 2016 05:21:19)
• Design and application of stationary phase combinatorial promoters  + (10 June 2016 05:52:05)
• Engineering Transcriptional Regulator Effector Specificity using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor  + (10 June 2016 05:52:24)
• Characterizing and Prototyping Genetic Networks with Cell-Free Transcription-Translation Reactions  + (10 June 2016 05:57:16)
• Category:NCS projects  + (10 June 2016 06:00:57)
• A Contract-Based Methodology for Aircraft Electric Power System Design  + (10 June 2016 06:06:44)
• Symbolic construction of GR(1) contracts for systems with full information  + (10 June 2016 06:06:52)
• Cross-entropy Temporal Logic Motion Planning  + (10 June 2016 06:07:00)
• Reactive Synthesis from Signal Temporal Logic Specifications  + (10 June 2016 06:07:10)
• Model Predictive Control for Signal Temporal Logic Specifications  + (10 June 2016 06:08:16)
• Property:Current project  + (10 June 2016 22:36:27)
• Property:First name  + (10 June 2016 22:36:29)
• Property:Last name  + (10 June 2016 22:36:29)
• Category:Group member  + (10 June 2016 22:36:38)
• Property:Type  + (10 June 2016 22:43:12)
• Property:Department  + (10 June 2016 23:09:23)
• Property:Other projects  + (11 June 2016 01:35:51)
• Synthesis of Control Protocols for Autonomous Systems  + (11 June 2016 05:12:33)
• Property:Support  + (11 June 2016 11:43:27)
• Property:Agency  + (11 June 2016 11:43:37)
• Property:Title  + (11 June 2016 11:43:49)
• Property:Reports  + (11 June 2016 11:44:06)
• Category:Project  + (11 June 2016 11:44:27)
• Projects  + (11 June 2016 12:20:53)
• User:Murray  + (11 June 2016 12:51:36)
• Molecular Programming Project  + (11 June 2016 19:11:52)
• Property:Graduated  + (11 June 2016 20:16:59)
• Property:Previous positions  + (11 June 2016 20:37:15)
• Enoch Yeung  + (11 June 2016 20:37:47)
• Nancy Cao  + (11 June 2016 20:38:25)
• Ivan Papusha  + (11 June 2016 20:44:59)
• Miki Yun  + (11 June 2016 20:47:29)
• An analytical approach to bistable biological circuit discrimination using real algebraic geometry  + (11 June 2016 20:57:52)
• Rapid in vitro engineering of 16 two-input logic gates  + (11 June 2016 20:58:49)
• Finding stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively  + (11 June 2016 21:01:35)
• Design of a Toolbox of RNA Thermometers  + (11 June 2016 21:02:00)
• Synthetic logic circuits using RNA aptamer against T7 RNA polymerase  + (11 June 2016 21:02:32)
• Synthetic circuit for exact adaptation and fold-change detection  + (11 June 2016 21:02:45)
• Sergei Avedisov, June 2016  + (13 June 2016 17:33:05)

• Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems  + (19 June 2016 15:08:26)

• File:CIDAR.png  + (22 June 2016 02:21:34)
• Moclo  + (29 June 2016 19:14:40)
• Aug 2016 meeting schedule  + (4 August 2016 17:59:22)
• Alice: An information-rich autonomous vehicle for high-speed desert navigation  + (20 August 2016 21:53:29)
• Group Schedule, Summer 2016  + (19 September 2016 17:41:37)
• Sep/Oct 2016 meeting schedule  + (29 September 2016 03:22:36)
• Control design for hybrid systems with TuLiP: The temporal logic planning toolbox  + (17 October 2016 15:41:29)
• Connected Cruise Control Design Using Probabilistic Model Checking  + (17 October 2016 15:48:59)
• Quantifying Resource Competition and its Effects in the TX-TL System  + (17 October 2016 15:59:46)
• Admin/Projects  + (29 October 2016 16:12:22)
• Clare Hayes  + (29 October 2016 16:31:50)
• Reed McCardell  + (29 October 2016 16:34:17)
• Catharine (Cat) McGhan  + (29 October 2016 16:36:31)
• Xinying (Cindy) Ren  + (29 October 2016 16:37:36)
• Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery  + (29 October 2016 16:52:28)
• Nov 2016 meeting schedule  + (11 November 2016 01:08:06)
• Improvement of E. coli transcription-translation (TX-TL) system  + (19 November 2016 15:54:12)
• Victoria Hsiao  + (19 November 2016 23:05:52)
• Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments  + (19 November 2016 23:09:56)
• Distributed Receding Horizon Control with Applications to Multi-Vehicle Formation Stabilization  + (27 November 2016 00:54:42)
• User:Sdathath  + (30 November 2016 12:19:46)
• Group Schedule, Fall 2016  + (2 December 2016 06:10:19)
• IFAC 2014 Plenary Talk: Specification, Verification and Synthesis for Networked Control Systems  + (14 December 2016 19:28:16)
• SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications  + (21 December 2016 06:38:01)
• File:2017 integrase SURF RLW.pdf  + (2 January 2017 15:34:10)
• File:Integrase clock circuit.pdf  + (2 January 2017 16:31:09)
• File:Nsf integrase clock.png  + (2 January 2017 21:53:29)
• SURF 2017: Integrase based circuits for sequential and temporal control of gene expression  + (3 January 2017 01:47:11)
• SURF 2017: Length and time scales of cell-cell signalling circuits in agar  + (4 January 2017 00:17:22)
• Image gallery  + (5 January 2017 19:01:03)
• File:Bfs-overview.png  + (5 January 2017 19:01:43)
• File:Pmti11.png  + (5 January 2017 19:02:58)
• File:Muri11-synbio.png  + (5 January 2017 19:03:19)
• File:Afosr13-synbio.png  + (5 January 2017 19:03:34)
• File:Nsf13-mpp.png  + (5 January 2017 19:03:49)
• File:Icb13-synbio.png  + (5 January 2017 19:04:09)
• File:Hfsp15-oscillators.png  + (5 January 2017 19:04:28)
• File:Denso16-cpm.png  + (5 January 2017 19:04:47)
• File:Vehical-overview.png  + (5 January 2017 19:05:00)
• File:Kiss-architecture.png  + (5 January 2017 19:06:10)
• File:Breadboards-process.png  + (5 January 2017 19:06:19)
• File:Rate-regulator.png  + (5 January 2017 19:06:35)
• File:Biomolecular-twoloop.png  + (5 January 2017 19:06:46)
• File:Biomolecular-feedback.png  + (5 January 2017 19:06:55)
• File:Slowncs-arch.png  + (5 January 2017 19:07:06)
• File:Alice-gce.jpg  + (5 January 2017 19:10:55)
• File:Dod16-vbff.pdf  + (9 January 2017 23:03:59)
• SURF 2017  + (11 January 2017 16:38:24)
• SURF 2017: Data-driven models for temporal logic control  + (11 January 2017 16:40:49)
• SURF 2017: Synthesizing flight software (FSW) discrete controllers from formal specifications  + (11 January 2017 16:51:27)
• File:TuLiP-SCA.png  + (11 January 2017 17:21:25)
• Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications  + (13 January 2017 03:25:10)
• Fast Automatic Verification of Large-Scale Systems with Lookup Tables  + (13 January 2017 03:35:09)
• Jan 2017 meeting schedule  + (17 January 2017 15:35:45)
• Michaëlle Mayalu, Jan 2017  + (23 January 2017 16:35:23)
• Henrike Niederholtmeyer, Jan 2017  + (24 January 2017 21:13:41)
• SURF discussions, Jan 2017  + (25 January 2017 01:21:58)
• Leopold Green, 13 Feb 2017  + (11 February 2017 21:57:19)
• Consensus and Cooperation in Networked Multi-Agent Systems  + (26 February 2017 15:26:02)
• Group Schedule, Winter 2017  + (27 February 2017 21:10:01)
• Mar 2017 meeting schedule  + (5 March 2017 18:45:14)
• Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli  + (6 March 2017 05:56:00)
• Engineering pulsatile communication in bacterial consortia  + (6 March 2017 05:59:01)
• Enhancing tolerance to unexpected jumps in GR(1) games  + (22 March 2017 07:22:18)
• The Effect of Compositional Context on Synthetic Gene Networks  + (22 March 2017 07:41:04)
• Population regulation in microbial consortia using dual feedback control  + (22 March 2017 21:40:20)
• The role of single occupancy effects on integrase dynamics in a cell-free system  + (28 March 2017 06:00:40)
• AFOSR BRI, DARPA BioCon  + (28 March 2017 06:07:20)
• SRC TerraSwarm, DENSO CPM  + (17 April 2017 04:33:48)
• Hiding variables when decomposing specifications into GR(1) contracts  + (17 April 2017 04:42:48)
• Preprint archive  + (17 April 2017 05:12:35)
• Apr 2017 meeting schedule  + (19 April 2017 15:25:22)
• SURF 2017: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines  + (1 May 2017 19:55:08)
• Group Schedule, Spring 2017  + (8 May 2017 17:59:21)
• May 2017 meeting schedule  + (15 May 2017 00:41:47)
• Gabor Stepan, 30 May 2017  + (30 May 2017 16:19:18)
• Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States  + (23 July 2017 17:04:40)
• Learning-Based Abstractions for Nonlinear Constraint Solving  + (23 July 2017 17:09:48)
• Synthesis of Correct-by-Construction Behavior Trees  + (23 July 2017 17:16:30)
• Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology  + (31 July 2017 14:38:40)
• Group Schedule, Summer 2017  + (28 August 2017 14:26:05)
• System-level studies of a cell-free transcription-translation platform for metabolic engineering  + (4 September 2017 05:37:33)
• A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response  + (4 September 2017 14:47:53)
• File:Duncan bozenna.jpg  + (25 September 2017 02:53:29)
• Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis  + (25 September 2017 03:10:08)
• An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System  + (25 September 2017 03:13:30)
• Bozenna Pasik-Duncan, Sep 2017  + (27 September 2017 03:59:20)
• File:Karan Kalsi.jpg  + (28 September 2017 16:28:03)
• Karan Kalsi, Oct 2017  + (3 October 2017 21:54:58)
• Programmable Molecular Technology Initiative  + (7 October 2017 05:07:05)
• UTRC visit, 12 Oct 2017  + (11 October 2017 22:13:09)
• WASP visit, 16-17 Oct 2017  + (12 October 2017 05:26:20)
• Mary Dunlop, Oct 2017  + (20 October 2017 13:46:54)
• Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems  + (29 October 2017 14:29:49)
• Analysis and design of a synthetic transcriptional network for exact adaptation  + (29 October 2017 14:30:30)
• Quantifying Crosstalk in Biochemical Systems  + (29 October 2017 14:30:39)
• Feedback architectures to regulate flux of components in artificial gene networks  + (29 October 2017 14:30:48)
• File:Jpl-pdf17.png  + (11 November 2017 21:24:00)
• File:Ncs-hierarchical.png  + (12 November 2017 18:16:05)
• Group Schedule, Fall 2017  + (4 December 2017 06:34:49)
• UG meetings, Fall 2017  + (5 December 2017 14:04:08)
• SURF 2018: Experimental verification of a semi-autonomous vehicle design based on human intention  + (8 December 2017 17:26:23)
• File:AVP.png  + (8 December 2017 20:21:24)
• File:AVP contracts.png  + (8 December 2017 20:21:58)
• SURF 2018: Resource Usage in TX-TL  + (11 December 2017 22:00:20)
• CS 142, Fall 2017  + (13 December 2017 18:12:30)
• File:ASS DNAPEN.jpg  + (14 December 2017 02:01:51)
• SURF 2018: Integrase-based genetic circuits  + (14 December 2017 02:02:59)
• SURF 2018: Evolutionary Stability of Genetic Circuits  + (15 December 2017 21:54:58)
• SURF 2017: Synthetic modules for control of bacterial growth  + (16 December 2017 00:14:25)
• SURF 2018: Synthetic modules for regulation of bacterial growth  + (16 December 2017 00:15:10)
• SURF 2018: Test design for temporal logic controllers  + (16 December 2017 07:06:57)
• File:PARADOX.jpg  + (16 December 2017 22:35:40)
• SURF 2018: Modeling the Effect of Intracellular Signaling Mechanisms on Population Dynamic Behaviors in the Context of Paradoxical Signaling  + (16 December 2017 22:50:16)
• SURF 2018: Engineering metabolic cross-feeding relationships for robust microbial consortia  + (18 December 2017 15:58:04)
• SURF 2018: Contract-based Design of Control Systems  + (19 December 2017 07:00:13)
• Synthesizing flight software (FSW) discrete controllers from formal specifications  + (22 December 2017 06:39:31)
• Model-guided Discovery and Optimization of Cell-based Sensors  + (22 December 2017 06:39:47)
• The TerraSwarm Research Center  + (22 December 2017 06:40:02)
• File:Icb-microbial.png  + (1 January 2018 17:35:39)
• SURF 2018  + (3 January 2018 19:45:10)
• SURF discussions, Jan 2018  + (24 January 2018 08:01:32)
• EECI 2013: Automata Theory  + (25 January 2018 01:15:50)
• Distributed Mission and Contingency Management for the DARPA Urban Challenge  + (29 January 2018 06:57:31)
• UG meetings, Winter 2018  + (23 February 2018 00:09:24)