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
- Uniting local and global controllers for the Caltech ducted fan + (06:20:08, 15 May 2016)
- Simultaneous Force-Position Control for Grasping Using Flexible Link Manipulators + (06:20:09, 15 May 2016)
- Combined Air Injection Control of Rotating Stall and Bleed Valve Control of Surge + (06:20:10, 15 May 2016)
- Differential Flatness of Two One-Forms in Arbitrary Number of Variables + (06:20:11, 15 May 2016)
- Rapid Hover to Forward Flight Transitions for a Thrust Vectored Aircraft + (06:20:11, 15 May 2016)
- Trajectory tracking for fully actuated mechanical systems + (06:20:12, 15 May 2016)
- Real Time Trajectory Generation for Differentially Flat Systems + (06:20:13, 15 May 2016)
- Real-Time Control Experiments for Instruction and Research at Caltech + (06:20:14, 15 May 2016)
- Decompositions for Control Systems on Manifolds with an Affine Connection + (06:20:15, 15 May 2016)
- Fast Mode Switching for a Thrust Vectored Aircraft + (06:20:16, 15 May 2016)
- Configuration Flatness of Lagrangian Systems Underactuated by One Control + (06:20:17, 15 May 2016)
- The Geometry and Control of Dissipative Systems + (06:20:18, 15 May 2016)
- Nonholonomic control systems: from steering to stabilization with sinuoids + (06:20:19, 15 May 2016)
- Robust Nonlinear Control Theory with Applications to Aerospace Vehicles + (06:20:20, 15 May 2016)
- Experimental Comparison of Trajectory Trackers for a Car with Trailers + (06:20:21, 15 May 2016)
- Trajectory Generation for a Towed Cable System using Differential Flatness + (06:20:22, 15 May 2016)
- On Measures of Non-Integrability of Pfaffian Systems + (06:20:22, 15 May 2016)
- Nonlinear Control and Modeling of Rotating Stall in an Axial Flow Compressor + (06:20:23, 15 May 2016)
- Trajectory Generation for Nonlinear Control Systems + (06:20:24, 15 May 2016)
- A Homotopy Algorithm for Approximating Geometric Distributions by Integrable Systems + (06:20:26, 15 May 2016)
- Active Control of an Axial Flow Compressor via Pulsed Air Injection + (06:20:27, 15 May 2016)
- Control of Rotating Stall in a Low-Speed Axial Flow Compressor Using Pulsed Air Injection: Modeling, Simulations, and Experimental Validation + (06:20:29, 15 May 2016)
- Configuration Controllability of Simple Mechanical Control Systems + (06:20:30, 15 May 2016)
- Differential Flatness of Mechanical Control Systems: A Catalog of Prototype Systems + (06:20:31, 15 May 2016)
- Real Time Trajectory Generation for Differentially Flat Systems with Unstable Zero Dynamics + (06:20:33, 15 May 2016)
- Converting Smooth, Time-Varying, Asymptotic Stabilizers for Driftless Systems to Homogeneous, Exponential Stabilizers + (06:20:34, 15 May 2016)
- Nonlinear Control of Mechanical Systems: A Lagrangian Perspective + (06:20:35, 15 May 2016)
- Robust Performance Analysis for a Class of Uncertain Nonlinear Systems + (06:20:36, 15 May 2016)
- Equilibrium Controllability for a Class of Mechanical Systems + (06:20:37, 15 May 2016)
- Active Control of Rotating Stall Using Pulsed Air Injection: A Parametric Study on a Low-Speed, Axial Flow Compressor + (06:20:38, 15 May 2016)
- Approximate Trajectory Generation for Differentially Flat Systems with Zero Dynamics + (06:20:38, 15 May 2016)
- Aspects of Geometric Mechanics and Control of Mechanical Systems + (06:20:39, 15 May 2016)
- Grasping with Flexible Link Fingers: An Initial Study + (06:20:40, 15 May 2016)
- A Motion Planner for Nonholonomic Robots + (06:20:41, 15 May 2016)
- Proportional Derivative (PD) Control on the Euclidean Group + (06:20:42, 15 May 2016)
- Variational Principles in Constrained Systems: Theory and Experiments + (06:20:42, 15 May 2016)
- Experimental Evaluation of Air Injection for Actuation of Rotating Stall in a Low Speed, Axial Fan + (06:20:43, 15 May 2016)
- An Efficient Algorithm for Performance Analysis of Nonlinear Control Systems + (06:20:44, 15 May 2016)
- An Experimental Comparison of Controllers for a Vectored Thrust, Ducted Fan Engine + (06:20:45, 15 May 2016)
- Control on the Sphere and Reduced Attitude Stabilization + (06:20:45, 15 May 2016)
- Geometric Phases and Robotic Locomotion + (06:20:46, 15 May 2016)
- Nonholonomic Mechanical Systems and Symmetry + (06:20:47, 15 May 2016)
- Geometric Phases, Control Theory, and Robotics + (06:20:48, 15 May 2016)
- Exponential Stabilization of Driftless Nonlinear Control Systems via Time-varying, Homogeneous Feedback + (06:20:49, 15 May 2016)
- Differential Flatness and Absolute Equivalence of Nonlinear Control Systems + (06:20:50, 15 May 2016)
- Stabilization of Trajectories for Systems with Nonholonomic Constraints + (06:20:52, 15 May 2016)
- Extending Exponential Stabilizers for Nonholonomic Systems from Kinematic Controllers to Dynamic Controllers + (06:20:52, 15 May 2016)
- 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: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)
- 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)
- Nancy Cao + (20:38:25, 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)
- Quantifying Resource Competition and its Effects in the TX-TL System + (15:59:46, 17 October 2016)
- Admin/Projects + (16:12:22, 29 October 2016)
- Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery + (16:52:28, 29 October 2016)
- Nov 2016 meeting schedule + (01:08:06, 11 November 2016)
- Improvement of E. coli transcription-translation (TX-TL) system + (15:54:12, 19 November 2016)
- Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments + (23:09:56, 19 November 2016)
- Distributed Receding Horizon Control with Applications to Multi-Vehicle Formation Stabilization + (00:54:42, 27 November 2016)
- User:Sdathath + (12:19:46, 30 November 2016)
- Group Schedule, Fall 2016 + (06:10:19, 2 December 2016)
- IFAC 2014 Plenary Talk: Specification, Verification and Synthesis for Networked Control Systems + (19:28:16, 14 December 2016)
- SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications + (06:38:01, 21 December 2016)
- File:2017 integrase SURF RLW.pdf + (15:34:10, 2 January 2017)
- File:Integrase clock circuit.pdf + (16:31:09, 2 January 2017)
- File:Nsf integrase clock.png + (21:53:29, 2 January 2017)
- SURF 2017: Integrase based circuits for sequential and temporal control of gene expression + (01:47:11, 3 January 2017)
- SURF 2017: Length and time scales of cell-cell signalling circuits in agar + (00:17:22, 4 January 2017)
- Image gallery + (19:01:03, 5 January 2017)
- File:Bfs-overview.png + (19:01:43, 5 January 2017)
- File:Pmti11.png + (19:02:58, 5 January 2017)
- File:Muri11-synbio.png + (19:03:19, 5 January 2017)
- File:Afosr13-synbio.png + (19:03:34, 5 January 2017)
- File:Nsf13-mpp.png + (19:03:49, 5 January 2017)
- File:Icb13-synbio.png + (19:04:09, 5 January 2017)
- File:Hfsp15-oscillators.png + (19:04:28, 5 January 2017)
- File:Denso16-cpm.png + (19:04:47, 5 January 2017)
- File:Vehical-overview.png + (19:05:00, 5 January 2017)
- File:Kiss-architecture.png + (19:06:10, 5 January 2017)
- File:Breadboards-process.png + (19:06:19, 5 January 2017)
- File:Rate-regulator.png + (19:06:35, 5 January 2017)
- File:Biomolecular-twoloop.png + (19:06:46, 5 January 2017)
- File:Biomolecular-feedback.png + (19:06:55, 5 January 2017)
- File:Slowncs-arch.png + (19:07:06, 5 January 2017)
- File:Alice-gce.jpg + (19:10:55, 5 January 2017)
- File:Dod16-vbff.pdf + (23:03:59, 9 January 2017)
- SURF 2017 + (16:38:24, 11 January 2017)
- SURF 2017: Data-driven models for temporal logic control + (16:40:49, 11 January 2017)
- SURF 2017: Synthesizing flight software (FSW) discrete controllers from formal specifications + (16:51:27, 11 January 2017)
- File:TuLiP-SCA.png + (17:21:25, 11 January 2017)
- Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications + (03:25:10, 13 January 2017)
- Fast Automatic Verification of Large-Scale Systems with Lookup Tables + (03:35:09, 13 January 2017)
- Jan 2017 meeting schedule + (15:35:45, 17 January 2017)
- Michaëlle Mayalu, Jan 2017 + (16:35:23, 23 January 2017)
- Henrike Niederholtmeyer, Jan 2017 + (21:13:41, 24 January 2017)
- SURF discussions, Jan 2017 + (01:43:36, 25 January 2017)
- Leopold Green, 13 Feb 2017 + (21:57:19, 11 February 2017)
- Consensus and Cooperation in Networked Multi-Agent Systems + (15:26:02, 26 February 2017)
- Group Schedule, Winter 2017 + (21:10:01, 27 February 2017)
- Mar 2017 meeting schedule + (18:45:14, 5 March 2017)
- Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli + (05:56:00, 6 March 2017)
- Engineering pulsatile communication in bacterial consortia + (05:59:01, 6 March 2017)
- Enhancing tolerance to unexpected jumps in GR(1) games + (07:22:18, 22 March 2017)
- The Effect of Compositional Context on Synthetic Gene Networks + (07:41:04, 22 March 2017)
- Population regulation in microbial consortia using dual feedback control + (21:40:20, 22 March 2017)
- The role of single occupancy effects on integrase dynamics in a cell-free system + (06:00:40, 28 March 2017)
- AFOSR BRI, DARPA BioCon + (06:07:20, 28 March 2017)
- SRC TerraSwarm, DENSO CPM + (04:33:48, 17 April 2017)
- Hiding variables when decomposing specifications into GR(1) contracts + (04:42:48, 17 April 2017)
- Apr 2017 meeting schedule + (15:25:22, 19 April 2017)
- SURF 2017: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines + (19:55:08, 1 May 2017)
- Group Schedule, Spring 2017 + (17:59:21, 8 May 2017)
- May 2017 meeting schedule + (00:41:57, 15 May 2017)
- Gabor Stepan, 30 May 2017 + (16:19:18, 30 May 2017)
- Learning-Based Abstractions for Nonlinear Constraint Solving + (17:09:48, 23 July 2017)
- Synthesis of Correct-by-Construction Behavior Trees + (17:16:30, 23 July 2017)
- Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology + (14:38:40, 31 July 2017)
- Group Schedule, Summer 2017 + (14:26:05, 28 August 2017)
- System-level studies of a cell-free transcription-translation platform for metabolic engineering + (05:37:33, 4 September 2017)
- A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response + (14:47:53, 4 September 2017)
- File:Duncan bozenna.jpg + (02:53:29, 25 September 2017)
- Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis + (03:10:08, 25 September 2017)
- An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System + (03:13:30, 25 September 2017)
- Bozenna Pasik-Duncan, Sep 2017 + (03:59:20, 27 September 2017)
- File:Karan Kalsi.jpg + (16:28:03, 28 September 2017)
- Karan Kalsi, Oct 2017 + (21:54:58, 3 October 2017)
- UTRC visit, 12 Oct 2017 + (22:13:09, 11 October 2017)
- WASP visit, 16-17 Oct 2017 + (05:26:20, 12 October 2017)
- Mary Dunlop, Oct 2017 + (13:46:54, 20 October 2017)
- Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems + (14:29:49, 29 October 2017)
- Analysis and design of a synthetic transcriptional network for exact adaptation + (14:30:30, 29 October 2017)
- Quantifying Crosstalk in Biochemical Systems + (14:30:39, 29 October 2017)
- Feedback architectures to regulate flux of components in artificial gene networks + (14:30:48, 29 October 2017)
- File:Jpl-pdf17.png + (21:24:00, 11 November 2017)
- File:Ncs-hierarchical.png + (18:16:05, 12 November 2017)
- Group Schedule, Fall 2017 + (06:34:49, 4 December 2017)
- UG meetings, Fall 2017 + (14:04:08, 5 December 2017)
- SURF 2018: Experimental verification of a semi-autonomous vehicle design based on human intention + (17:26:23, 8 December 2017)
- File:AVP.png + (20:21:24, 8 December 2017)
- File:AVP contracts.png + (20:21:58, 8 December 2017)
- SURF 2018: Resource Usage in TX-TL + (22:00:20, 11 December 2017)
- CS 142, Fall 2017 + (18:12:30, 13 December 2017)
- File:ASS DNAPEN.jpg + (02:01:51, 14 December 2017)
- SURF 2018: Integrase-based genetic circuits + (02:02:59, 14 December 2017)
- SURF 2018: Evolutionary Stability of Genetic Circuits + (21:54:58, 15 December 2017)
- SURF 2017: Synthetic modules for control of bacterial growth + (00:14:25, 16 December 2017)
- SURF 2018: Synthetic modules for regulation of bacterial growth + (00:15:10, 16 December 2017)
- SURF 2018: Test design for temporal logic controllers + (07:06:57, 16 December 2017)
- File:PARADOX.jpg + (22:35:40, 16 December 2017)
- SURF 2018: Modeling the Effect of Intracellular Signaling Mechanisms on Population Dynamic Behaviors in the Context of Paradoxical Signaling + (22:50:16, 16 December 2017)
- SURF 2018: Engineering metabolic cross-feeding relationships for robust microbial consortia + (15:58:04, 18 December 2017)
- SURF 2018: Contract-based Design of Control Systems + (07:00:13, 19 December 2017)
- Synthesizing flight software (FSW) discrete controllers from formal specifications + (06:39:31, 22 December 2017)
- Model-guided Discovery and Optimization of Cell-based Sensors + (06:39:47, 22 December 2017)
- File:Icb-microbial.png + (17:35:39, 1 January 2018)
- SURF 2018 + (19:45:10, 3 January 2018)
- SURF discussions, Jan 2018 + (08:01:32, 24 January 2018)
- EECI 2013: Automata Theory + (01:15:50, 25 January 2018)
- Distributed Mission and Contingency Management for the DARPA Urban Challenge + (06:57:31, 29 January 2018)
- UG meetings, Winter 2018 + (00:09:24, 23 February 2018)