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

• 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)
• Preprint archive  + (05:12:35, 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)
• Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States  + (17:04:40, 23 July 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)
• Programmable Molecular Technology Initiative  + (05:07:05, 7 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)
• The TerraSwarm Research Center  + (06:40:02, 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)
• Thoughts on publishing  + (01:13:59, 23 February 2018)
• John McManus, 5 Mar 2018  + (21:37:15, 3 March 2018)
• Group Schedule, Winter 2018  + (05:29:00, 6 March 2018)
• Emzo de los Santos, 12 Mar 2018  + (05:18:10, 8 March 2018)
• Chelsea Hu, Apr 2018  + (19:53:17, 9 April 2018)
• Ben Richards, 20 Apr 2018  + (15:35:58, 17 April 2018)
• Stochastic systems courses  + (17:26:50, 2 May 2018)
• Siva Seetharaman, 10 May 2018  + (20:12:52, 9 May 2018)
• CDS 110, Spring 2018  + (23:05:42, 19 May 2018)
• UG meetings, Spring 2018  + (17:33:28, 5 June 2018)
• Control of bacterial population density with population feedback and molecular sequestration  + (04:54:08, 19 June 2018)
• Modeling Dynamic Transcriptional Circuits with CRISPRi  + (05:04:54, 19 June 2018)
• Single day construction of multi-gene circuits with 3G assembly  + (05:10:34, 19 June 2018)
• Long-distance communication in synthetic bacterial consortia through active signal propagation  + (05:12:26, 19 June 2018)
• Voluntary lane-change policy synthesis with reactive control improvisation  + (05:25:18, 19 June 2018)
• Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts  + (05:31:09, 19 June 2018)
• Length and time scales of cell-cell signaling circuits in agar  + (13:59:02, 14 July 2018)
• On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3  + (05:46:37, 15 July 2018)
• Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations  + (05:56:57, 15 July 2018)
• Andrew Halleran  + (12:07:19, 3 August 2018)
• Ania Baetica  + (12:10:16, 3 August 2018)
• Anandh Swaminathan  + (12:11:26, 3 August 2018)
• Chelsea Hu  + (12:12:22, 3 August 2018)
• Wenlong Xu, 14 Aug 2018  + (06:49:43, 12 August 2018)
• File:Murray-14Dec16.jpg  + (17:26:57, 8 September 2018)
• RMM photos  + (17:28:18, 8 September 2018)
• Group Schedule, Spring 2018  + (18:16:39, 8 September 2018)
• Group Schedule, Summer 2018  + (20:45:43, 10 September 2018)
• Small comments on papers  + (01:19:18, 21 September 2018)
• Daniel Fremont, Sep 2018  + (21:00:11, 21 September 2018)
• Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams  + (13:46:29, 26 September 2018)
• Cell-Free Extract Data Variability Reduction in the Presence of Structural Non-Identifiability  + (13:46:45, 26 September 2018)
• A modal interface contract theory for guarded input/output automata with an application in traffic system design  + (05:46:14, 8 October 2018)
• Risk-aware motion planning for automated vehicle among human-driven cars  + (05:49:28, 8 October 2018)
• File:Buildacell.png  + (05:56:49, 8 October 2018)
• User:Admin  + (05:57:11, 8 October 2018)
• Bode Lecture 2016: Future Directions in Control: A Look Backwards and Forwards  + (00:16:31, 23 October 2018)
• Group Schedule, Fall 2018  + (07:51:45, 27 November 2018)
• File:Triple int.png  + (00:08:58, 28 November 2018)
• File:Double int.png  + (00:09:10, 28 November 2018)
• File:N integrator.png  + (00:19:45, 28 November 2018)
• SURF 2019: Geometry of Control-Invariant Sets  + (03:40:16, 28 November 2018)
• Paul Van den Hof, Dec 2018  + (06:47:11, 7 December 2018)
• File:3-node Message Routing figure.png  + (18:33:08, 10 December 2018)
• File:Message Routing Schematic.png  + (18:58:14, 10 December 2018)
• SURF 2019: Engineering a synthetic high-bandwidth intercellular communication system through plasmid conjugation  + (23:12:23, 10 December 2018)
• UG meetings, Fall 2018  + (01:23:38, 11 December 2018)
• CDS 131, Fall 2018  + (15:28:18, 11 December 2018)
• SURF 2019: Modeling and Analysis on Robust Synthetic Consortia with Localized Functions  + (01:15:39, 12 December 2018)
• File:ADH evo stability.png  + (03:02:29, 12 December 2018)
• SURF 2019: Evolutionary Stability of Genetic Circuits  + (03:18:51, 12 December 2018)
• File:Aicb19-fieldprogrammable.png  + (22:27:01, 25 December 2018)
• File:Arl19-cellfree.png  + (22:47:08, 25 December 2018)
• File:Arl19-hybrid.png  + (22:57:35, 25 December 2018)
• File:Arl19-zebrafish.png  + (23:08:35, 25 December 2018)
• SURF 2019  + (05:02:19, 26 December 2018)
• SURF 2019: River Mapping with Autonomous Surface Vehicles for Flood Hazard Monitoring  + (05:07:37, 26 December 2018)
• File:Thor-setup.png  + (05:08:47, 26 December 2018)
• Robust Estimation Framework with Semantic Measurements  + (05:12:36, 27 December 2018)
• End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks  + (05:18:35, 27 December 2018)
• Inverse Abstraction of Neural Networks Using Symbolic Interpolation  + (05:21:34, 27 December 2018)
• Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits  + (05:30:38, 27 December 2018)
• Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia  + (05:33:33, 27 December 2018)
• Role of interaction network topology in controlling microbial population in consortia  + (05:39:02, 27 December 2018)
• Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems  + (05:42:27, 27 December 2018)
• Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors  + (05:55:05, 27 December 2018)
• File:Darpa-biocon.png  + (05:56:49, 27 December 2018)
• Yong Wu  + (05:10:52, 2 January 2019)
• ICB Microbial, ICB Network19  + (05:12:02, 2 January 2019)
• Alex White  + (05:17:48, 2 January 2019)
• Anu Thubagere  + (05:18:06, 2 January 2019)
• Vipul Singhal  + (05:18:33, 2 January 2019)
• Andrey Shur  + (05:19:12, 2 January 2019)
• Sean Sanchez  + (05:20:51, 2 January 2019)
• Mark Prator  + (05:22:54, 2 January 2019)
• Andrew Montequin  + (05:25:00, 2 January 2019)
• Sofie Haesaert  + (05:25:39, 2 January 2019)
• Shaobin Guo  + (05:26:02, 2 January 2019)
• Leopold Green  + (05:26:43, 2 January 2019)
• Ioannis Filippidis  + (05:27:30, 2 January 2019)
• Jonathan Feldstein  + (05:27:52, 2 January 2019)
• Jin Ge  + (05:30:15, 2 January 2019)
• Joe Meyerowitz  + (05:32:33, 2 January 2019)
• Lani Kim  + (05:44:09, 2 January 2019)
• Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping  + (22:56:38, 13 January 2019)
• Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks  + (22:57:01, 13 January 2019)

• SURF 2019: Synthetic modules for regulation of bacterial growth  + (00:19:52, 15 January 2019)

• Timing molecular motion and production with a synthetic transcriptional clock  + (16:05:51, 19 January 2019)
• User:Admin/Papers  + (16:11:11, 19 January 2019)
• Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor  + (16:15:08, 19 January 2019)
• Design Guidelines For Sequestration Feedback Networks  + (15:47:53, 26 January 2019)
• Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks  + (15:54:27, 26 January 2019)
• Recursively constructing analytic expressions for equilibrium distributions of stochastic biochemical reaction networks  + (15:54:42, 26 January 2019)
• Cell-free and in vivo characterization of Lux, Las, and Rpa quorum activation systems in E. coli  + (15:54:55, 26 January 2019)
• Rapid cell-free forward engineering of novel genetic ring oscillators  + (15:55:15, 26 January 2019)
• Sara Molinari, 29 Jan 2019  + (00:17:21, 30 January 2019)
• Ather Gattami, Feb 2019  + (18:58:23, 19 February 2019)
• Elahe Aghapour, Feb 2019  + (21:09:03, 19 February 2019)
• Group Schedule, Winter 2019  + (16:42:16, 11 March 2019)
• Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing  + (20:05:02, 29 March 2019)
• Biographical Sketch  + (02:17:31, 27 April 2019)
• Kristin Rozier, May 2019  + (16:08:15, 17 May 2019)
• File:Nsf19-cellfree.png  + (04:22:55, 21 May 2019)
• File:Arl20-elm.png  + (04:39:26, 21 May 2019)
• UG meetings, Spring 2019  + (05:59:33, 6 June 2019)
• Control Theory for Synthetic Biology: Recent Advances in System Characterization, Control Design, and Controller Implementation for Synthetic Biology  + (20:14:14, 8 June 2019)
• Layering assume-guarantee contracts for hierarchical system design  + (20:15:24, 8 June 2019)
• Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape  + (23:41:28, 9 June 2019)
• Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation  + (23:47:25, 9 June 2019)
• Proof of concept continuous event logging in living cells  + (23:49:07, 9 June 2019)
• Quantitative characterization of random partitioning in the evolution of plasmid-encoded traits  + (23:50:50, 9 June 2019)
• Tunable integrase-mediated differentiation facilitates improved output of burdensome functions in E. coli  + (23:53:06, 9 June 2019)
• Control of density and composition in an engineered two-member bacterial community  + (00:03:42, 10 June 2019)
• Design of a genetic layered feedback controller in synthetic biological circuitry  + (00:09:38, 10 June 2019)
• Bacterial Controller Aided Wound Healing: A Case Study in Dynamical Population Controller Design  + (00:11:27, 10 June 2019)
• Contracts of Reactivity  + (00:21:14, 10 June 2019)
• File:Assured-autonomy.png  + (04:20:45, 10 June 2019)
• File:Afosr-testandeval.png  + (04:29:43, 10 June 2019)
• Group Schedule, Spring 2019  + (16:09:38, 10 June 2019)
• An automated model reduction tool to guide the design and analysis of synthetic biological circuits  + (00:13:37, 17 June 2019)
• Analysis of primitive genetic interactions for the design of a genetic signal differentiator  + (00:13:46, 17 June 2019)
• Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways  + (20:32:34, 1 July 2019)
• Molecular Programming Architectures, Abstractions, Algorithms, and Applications  + (20:33:43, 1 July 2019)
• Stanley Bak, 8 July 2019  + (13:50:59, 8 July 2019)
• Towards Assume-Guarantee Profiles for Autonomous Vehicles  + (16:22:34, 1 August 2019)
• Synthetic biology future applications and technology needs  + (00:41:08, 27 August 2019)
• Visitors  + (04:55:52, 30 August 2019)
• A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks  + (16:32:03, 3 September 2019)
• Group Schedule, Summer 2019  + (18:17:23, 7 September 2019)
• Samuel Clamons  + (14:57:08, 18 September 2019)
• A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior  + (14:58:24, 18 September 2019)
• Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress  + (15:00:30, 18 September 2019)
• Safety-Critical Autonomy and Verification for Space Missions  + (15:03:04, 18 September 2019)
• Admin/Group members  + (15:05:46, 18 September 2019)
• Karena Cai  + (15:06:08, 18 September 2019)
• William Poole  + (15:06:38, 18 September 2019)
• Michaelle Mayalu  + (15:07:17, 18 September 2019)
• John McManus  + (15:08:46, 18 September 2019)
• Josefine Graebener  + (15:12:52, 18 September 2019)
• Tung Phan  + (15:13:30, 18 September 2019)
• Apurva Badithela  + (15:14:25, 18 September 2019)
• Jake Beal, 1 Oct 2019  + (23:04:48, 30 September 2019)
• Thomas Mohren, 2 Oct 2019  + (18:19:03, 2 October 2019)
• File:Caltech-freeways.jpg  + (21:15:38, 3 October 2019)
• File:Caltech-streets.jpg  + (21:16:06, 3 October 2019)
• File:Campus-map.png  + (21:18:54, 3 October 2019)
• Caltech directions  + (21:21:48, 3 October 2019)
• Mike Biercuk, 7 Oct 2019  + (21:02:47, 7 October 2019)
• Sandeep Chichali, 16 Oct 2019  + (01:37:34, 16 October 2019)
• Authorship  + (23:57:40, 21 October 2019)
• Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping  + (16:13:25, 6 November 2019)
• Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology  + (16:13:38, 6 November 2019)
• Enabling Technologies for Cell-Silicon Interfacing  + (16:13:53, 6 November 2019)
• Theory-Based Engineering of Biomolecular Circuits in Living Cells  + (16:14:55, 6 November 2019)
• Formal Methods for V&V and T&E of Autonomous Systems  + (16:16:43, 6 November 2019)
• CMS 273, Winter 2019  + (17:40:13, 19 November 2019)
• Group Schedule, Fall 2019  + (03:09:52, 3 December 2019)
• File:Slide.png  + (19:14:47, 3 December 2019)
• CS 142, Fall 2019  + (17:01:59, 5 December 2019)
• File:Architecture auton sys.png  + (20:16:01, 8 December 2019)
• James Parkin  + (20:27:36, 8 December 2019)
• AFOSR  + (20:44:06, 8 December 2019)
• Eric Wolff, 11 Dec 2019  + (21:16:37, 10 December 2019)
• File:Gridworld sys env.png  + (23:07:46, 10 December 2019)
• File:SynBioModelingPipeline.jpg  + (06:08:36, 11 December 2019)
• SURF 2020: Test and Evaluation for Autonomy  + (21:32:51, 15 December 2019)
• SURF 2020: Rules of the Road--a top-down approach for guaranteeing correct behavior for self-driving cars  + (21:41:47, 15 December 2019)
• SURF 2020: Social-Aware Robot Navigation  + (21:51:09, 15 December 2019)
• File:2020 SURF fig.png  + (18:25:09, 16 December 2019)
• File:SURF 2020 wahl murray.png  + (18:27:16, 16 December 2019)
• File:CYHSURF2020.png  + (05:25:41, 17 December 2019)
• SURF 2020: System identification of bacterial gene expression as a function of population dynamics  + (05:26:00, 17 December 2019)
• CDS 131, Fall 2019  + (07:20:48, 18 December 2019)
• SURF 2020: Applications of synthetic differentiation  + (22:07:38, 22 December 2019)
• SURF 2020: Hardware Implementation of Contract-Based Design for Automated Valet Parking System  + (18:08:56, 30 December 2019)
• SURF 2020  + (22:22:53, 12 January 2020)
• SURF discussions, Jan 2019  + (19:01:26, 20 January 2020)
• SURF GOTChA chart  + (00:04:55, 22 January 2020)
• SURF 2020: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines  + (15:24:48, 23 January 2020)
• SURF discussions, Jan 2020  + (22:26:05, 23 January 2020)
• Liren Yang, 5-6 Feb 2020  + (04:48:02, 6 February 2020)
• Sarah Dean, 11-12 Feb 2020  + (00:06:55, 11 February 2020)
• David Garcia, 13 Feb 2020  + (19:43:53, 13 February 2020)
• UG meetings, Dec 2019  + (15:15:28, 22 February 2020)
• EECI 2020: Discrete Abstractions  + (17:02:20, 29 February 2020)
• EECI 2020: Rulebooks  + (17:31:11, 29 February 2020)
• EECI 2020: Course Introduction  + (21:56:28, 1 March 2020)
• EECI 2020: Automata Theory  + (22:10:56, 1 March 2020)
• EECI 2020: Temporal Logic  + (22:19:30, 1 March 2020)
• EECI 2020: Reactive Synthesis  + (22:38:25, 1 March 2020)
• EECI 2020: Model Checking  + (07:56:30, 10 March 2020)
• EECI 2020: Probabilistic Systems  + (07:57:46, 10 March 2020)
• EECI 2020: Computer Session: Stormpy  + (08:00:30, 10 March 2020)
• Group Schedule, Winter 2020  + (05:55:16, 12 March 2020)
• EECI 2020: Minimum Violation Planning  + (05:12:55, 13 March 2020)
• EECI 2020: Behavior Specifications  + (07:26:33, 13 March 2020)
• EECI 2020: Computer Session: MVP  + (07:36:24, 13 March 2020)
• EECI 2020: Safety-Critical Systems  + (07:37:58, 13 March 2020)
• EECI 2020: Course Summary  + (07:39:19, 13 March 2020)
• EECI 2020: Computer Session: TuLiP  + (18:50:57, 18 March 2020)
• Courses  + (21:00:52, 22 March 2020)
• File:W1 setup-31Mar2020.pdf  + (16:32:57, 2 April 2020)
• EECI-IGSC 2020  + (13:15:47, 8 April 2020)
• E/SEC 103, Spring 2020  + (23:18:45, 19 April 2020)
• Temporal Logic Specifications for Control System Design in Automotive Systems  + (16:48:30, 22 April 2020)
• Counter-example Guided Learning of Bounds on Environment Behavior  + (05:25:43, 26 May 2020)
• Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits  + (05:30:31, 26 May 2020)
• Ayush Pandey  + (05:32:17, 26 May 2020)
• Theoretical Design of Paradoxical Signaling-Based Synthetic Population Control Circuit in E. coli  + (05:35:06, 26 May 2020)
• Layered Feedback Control Improves Robust Functionality across Heterogeneous Cell Populations  + (05:40:30, 26 May 2020)
• Invariant Sets for Integrators and Quadrotor Obstacle Avoidance  + (05:51:51, 26 May 2020)
• Risk-Averse Planning Under Uncertainty  + (05:57:43, 26 May 2020)
• A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology  + (15:56:37, 26 May 2020)
• A Method for Cost-Effective and Rapid Characterization of Engineered T7-based Transcription Factors by Cell-Free Protein Synthesis Reveals Insights into the Regulation of T7 RNA Polymerase-Driven Expression  + (20:48:33, 26 May 2020)
• Networked Feedback Systems in Biology  + (21:23:07, 26 May 2020)
• Characterization of Insect Flight Control Systems  + (21:23:20, 26 May 2020)
• Biomolecular Feedback Circuits for Modular, Robust and Rapid Response  + (21:23:33, 26 May 2020)
• Biomolecular Circuits for Rapid Detection and Response to Environmental Events  + (21:23:48, 26 May 2020)
• Field-Programmable, Recombinase-Based Biomolecular Circuits  + (21:24:26, 26 May 2020)
• Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials  + (21:24:55, 26 May 2020)
• BE 240, Spring 2020  + (14:50:01, 28 May 2020)
• Group Schedule, Spring 2020  + (14:09:59, 8 June 2020)
• SBtools Bootcamp, June 2020  + (02:44:01, 14 June 2020)
• Zoila Jurado  + (16:59:18, 21 June 2020)
• www.cds.caltech.edu/~murray/schedule.html  + (17:19:50, 28 June 2020)
• File:RSI-soil syn bio.png  + (05:03:38, 20 July 2020)
• Elin Larsson  + (05:05:15, 20 July 2020)
• John Marken  + (05:07:05, 20 July 2020)
• An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil  + (06:00:26, 26 July 2020)
• David Garcia  + (20:56:24, 29 July 2020)
• Undergraduate alumni  + (23:31:56, 30 July 2020)
• File:Rosen20-simplecell.png  + (23:53:15, 8 August 2020)
• Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function  + (23:53:38, 8 August 2020)
• Rory Williams  + (23:54:29, 8 August 2020)
• Genetic Circuits for Multi-Cellular Machines  + (23:56:21, 8 August 2020)
• File:Cellsys-actuation.png  + (00:10:03, 9 August 2020)
• Actuation of Synthetic Cells Via Proto-Flagellar Motors  + (00:11:15, 9 August 2020)
• Manisha Kapasiawala  + (00:12:19, 9 August 2020)
• Assurance for Learning Enabled Systems  + (17:36:46, 10 August 2020)
• Chuchu Fan  + (17:37:39, 10 August 2020)
• Sumanth Dathathri  + (17:39:20, 10 August 2020)
• Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions  + (17:56:46, 10 August 2020)
• Bio  + (04:39:41, 22 August 2020)
• Geoffroy Le Courtois Du Manoir  + (05:29:00, 23 August 2020)
• Property:Current position  + (05:30:22, 23 August 2020)
• Synthetic Cell, Summer 2020  + (15:36:42, 26 August 2020)
• Schedule  + (14:14:58, 1 September 2020)
• Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems  + (12:27:19, 12 September 2020)
• Group Schedule, Summer 2020  + (17:17:12, 20 September 2020)
• GOTChA Chart  + (15:43:30, 25 September 2020)
• Research Overview  + (04:46:35, 5 October 2020)
• CMS 273, Winter 2020  + (16:24:48, 15 November 2020)
• VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems  + (00:31:18, 22 November 2020)
• BE 107, Spring 2019  + (21:58:39, 23 November 2020)
• File:Heilmeier-isat.png  + (17:34:20, 25 November 2020)
• Heilmeier Catechism  + (17:37:18, 25 November 2020)
• Modeling and control of the effects of bilateral asymmetries in insect flight  + (15:43:28, 3 December 2020)
• CDS 131, Fall 2020  + (00:16:44, 7 December 2020)
• Group Schedule, Fall 2020  + (15:56:39, 7 December 2020)
• SURF 2021: Modeling tools for design and analysis of synthetic biological circuits  + (04:19:26, 22 December 2020)
• CMS 273, Winter 2021  + (05:56:42, 26 December 2020)
• File:Experiment prop.png  + (12:25:29, 4 January 2021)
• SURF 2021: Test Design for Extremely Resilient System  + (12:33:22, 4 January 2021)
• File:ATPase Protoflagellum.png  + (08:32:54, 6 January 2021)
• SURF 2021  + (16:58:09, 6 January 2021)
• SURF 2021: Optimizing cell extract for a proto-flagellar system  + (17:00:05, 6 January 2021)
• File:Synthetic-cell.png  + (17:54:58, 7 January 2021)
• SURF 2021: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines  + (17:56:17, 7 January 2021)
• SURF discussions, Feb 2021  + (20:06:12, 28 January 2021)
• Group Schedule, Winter 2021  + (00:06:47, 31 January 2021)
• SURF alumni  + (20:51:22, 1 February 2021)
• smw/schema:Group:Schema properties  + (17:43:17, 26 February 2021)
• smw/schema:Group:Predefined properties  + (17:43:18, 26 February 2021)
• Property:Foaf:knows  + (17:43:19, 26 February 2021)
• Property:Foaf:name  + (17:43:20, 26 February 2021)
• Property:Foaf:homepage  + (17:43:21, 26 February 2021)
• Property:Owl:differentFrom  + (17:43:21, 26 February 2021)
• Expanded bio  + (18:09:35, 26 February 2021)
• Main Page  + (18:49:52, 26 February 2021)