All public logs

Combined display of all available logs of Murray Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

21:38, 19 June 2025 Murray talk contribs created page Group Schedule, Summer 2025 (Created page with "This page contains information about various upcoming events that are of interest to the group. __NOTOC__ {| width=60% |- valign=top | width=50% | * Richard's calendar (travel) | width=50% | * Group Schedule, Spring 2025 |} The schedule for group and subgroup meetings is given below. Contact Miki if you need to change the schedule. Unless otherwise noted, biocircuits meetings are in 111 Keck. {| width=100% border=1 |- valign=top | width=25% | === Wee...")
22:03, 9 May 2025 User account Kazuyae talk contribs was created automatically
17:22, 28 April 2025 User account Nmynhier talk contribs was created automatically
17:02, 28 April 2025 User account Xhli talk contribs was created automatically
15:25, 26 April 2025 Murray talk contribs created page RMM research meetings, May 2025 (Created page with "Please sign up for a slot below. 5 May (Mon): * 9 am: Open * 3 pm: Open * 3:45 pm: Open * 4:30 pm: Open 11 May (Sun): * 2:15 pm: Open * 3 pm: Open * 3:45 pm: Open * 4:30 pm: Open 12 May (Mon): * 10 am: Open * 10:45 am: Open * 3:30 pm: Open * 4:15 pm: Open")
18:17, 11 March 2025 Murray talk contribs created page Group Schedule, Spring 2025 (Created page with "his page contains information about various upcoming events that are of interest to the group. __NOTOC__ {| width=60% |- valign=top | width=50% | * Richard's calendar | width=50% | * Group Schedule, Winter 2024 |} The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, biocircuits meetings are in 111 Keck and NCS meetings are in 110...") Tag: Visual edit: Switched
22:02, 28 January 2025 User account Jibarraa talk contribs was created automatically
03:27, 6 January 2025 Murray talk contribs created page File:Sloan-syncell.png
03:27, 6 January 2025 Murray talk contribs uploaded File:Sloan-syncell.png
03:22, 6 January 2025 Murray talk contribs created page Developer Cell: A modular, extensible chassis for building synthetic cells (Created page with "{{subst:project boilerplate}} {{Project |Title=Developer Cell: A modular, extensible chassis for building synthetic cells |Agency=Sloan |Grant number=G-2024-22735 |Start date=1 Jan 2025 |End date=30 Jun 2026 |Support summary=3 part-time research scientists |Reporting requirements=Interim and final reports |Project ID=Sloan SynCell |ack=This research is supported by the Alfred P. Sloan Foundation. }}")
17:14, 8 December 2024 Murray talk contribs created page Group Schedule, Winter 2025 (Created page with "This page contains information about various upcoming events that are of interest to the group. __NOTOC__ {| width=60% |- valign=top | width=50% | * Richard's calendar | width=50% | * Group Schedule, Fall 2023 |} The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, biocircuits meetings are in 111 Keck and NCS meetings are in 110 S...")
16:29, 8 November 2024 Murray talk contribs created page E/SEC 103, Winter 2025 (Created page with "{{Course |Course number=E/SEC 103 |Course title=Management of Technology |Year=2024 |Term=Winter |Lecture schedule=Mon/Wed, 1:30-2:55 pm |Instructors=Richard Murray (CDS/BE), Stu Feldman, Eric Schmidt |Instructor office hours=Wed, 3-3:45 pm, Annenberg lounge |TAs=TBD |TA office hours=TBD }} This course is limited enrollment and auditors are not allowed. All students interested in participating must fill out a pre-enrollment survey prior to the end of the first week of t...")
16:18, 8 November 2024 Murray talk contribs deleted page E/SEC 103, Spring 2022 (Course was never taught)
01:27, 4 November 2024 Murray talk contribs created page Alberto Sangiovanni-Vincentelli (Created page with "{{Collaborator |First name=Alberto |Last name=Sangiovanni-Vincentelli |Organization=UC Berkeley |URL=http://people.eecs.berkeley.edu/~sseshia/ |Projects=SRC TerraSwarm }}") Tag: Visual edit: Switched
19:48, 26 October 2024 Murray talk contribs created page MediaWiki:Monobook.css (Created page with "All CSS here will be loaded for users of the MonoBook skin: #p-navigation h3 { font-size: 12px; }")
18:24, 26 October 2024 Murray talk contribs created page MediaWiki:Vector.css (Created page with "All CSS here will be loaded for users of the Vector skin: #content { font-size: 16px; }")
15:57, 28 September 2024 Murray talk contribs created page MediaWiki:Common.css (Created page with "CSS placed here will be applied to all skins: body { font-size: larger; }")
15:57, 28 September 2024 Murray talk contribs changed group membership for Murray from bureaucrat, interwiki, restrict and administrator to bureaucrat, interwiki, restrict, administrator and interface administrator
19:22, 2 September 2024 Murray talk contribs created page Group Schedule, Fall 2024 (Created page with "This page contains information about various upcoming events that are of interest to the group. __NOTOC__ {| width=60% |- valign=top | width=50% | * Richard's calendar | width=50% | * Group Schedule, Summer 2023 |} The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, biocircuits group meetings are in 111 Keck and NCS group meeting...")
18:25, 21 August 2024 User account Syoshiha talk contribs was created automatically
02:35, 11 August 2024 Murray talk contribs created page CDS 110 (Created page with "{{#ask: Category:Courses | Display title of:~*CDS*110 | format=ul | limit=100 }}")
02:21, 11 August 2024 Murray talk contribs created page Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications (Created page with "{{Paper |Title=Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications |Authors=Josefine B. Graebener, Apurva S. Badithela, Denizalp Goktas, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray |Source=Submitted, IEEE Transactions on Robotics, 2024 |Abstract=Designing tests to evaluate if a given autonomous system satisfies complex specifications is challenging due to the complexity of these systems....")
02:18, 11 August 2024 Murray talk contribs created page Impact of Chemical Dynamics of Commercial PURE Systems on Malachite Green Aptamer Fluorescence (Created page with "{{Paper |Title=Impact of Chemical Dynamics of Commercial PURE Systems on Malachite Green Aptamer Fluorescence |Authors=Zoila Jurado, Richard M. Murray |Source=Submitted, ACS Synthetic Biology, 2024 |Abstract=The malachite green aptamer (MGapt) is known for its utility in RNA measurement in vivo and lysate-based cell-free protein systems. However, MGapt fluorescence dynamics do not accurately reflect mRNA concentration. Our study finds that MGapt fluorescence is unstable...")
02:15, 11 August 2024 Murray talk contribs created page Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks (Created page with "{{Paper |Title=Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks |Authors=Inigo Incer, Noel Csomay-Shanklin, Aaron Ames, Richard M. Murray |Source=To appear, 2024 Conference on Decision and Control (CDC) |Abstract=We consider the problem of reasoning about networked and layered control systems using assume-guarantee specifications. As these systems are formed by the interconnection of components that operate under various clocks,...")
02:12, 11 August 2024 Murray talk contribs created page A Field-Deployable Arsenic Sensor Integrating Bacillus Megaterium with CMOS Technology (Created page with "{{Paper |Title=A Field-Deployable Arsenic Sensor Integrating Bacillus Megaterium with CMOS Technology |Authors=Chelsea Y Hu, John B McManus, Fatemeh Aghlmand, Elin M Larsson, Azita Emami, Richard M Murray |Source=Submitted, ACS Synthetic Biology, 2024 |Abstract=Bacteria innately monitor their environment by dynamically regulating gene expression to respond to fluctuating conditions. Through synthetic biology, we can harness this natural capability to design cell-based se...")
02:08, 11 August 2024 Murray talk contribs created page Optimizing protein expression in the One-Pot PURE system: Insights into reaction composition and translation efficiency (Created page with "{{Paper |Title=Optimizing protein expression in the One-Pot PURE system: Insights into reaction composition and translation efficiency |Authors=Y. Zhang, Y. Qiu, M. Deveikis, Z. A. Martinez, T.-F. Chou, P. Freemont, R. M. Murray |Source=SEED, 2024 |Abstract=The One-Pot PURE system for in vitro protein expression, which results from a co-culture and one-step purification of 36 essential proteins to support gene transcription and translation, can significantly improve the...")
01:13, 11 August 2024 Murray talk contribs created page Elisa Franco (Created page with "{{Group member |First name=Elisa |Last name=Franco |Department=CDS |Co-advisor=Erik Winfree |Previous positions=PhD student }}")
01:11, 11 August 2024 Murray talk contribs created page James Hindley (Created page with "{{Collaborator |First name=James |Last name=Hindley |Organization=Imperial College London |URL=https://profiles.imperial.ac.uk/j.hindley14 }}")
23:21, 10 August 2024 Murray talk contribs created page BE/EE/MedE 189a (Redirected page to BE/EE/MedE 189a, Fall 2024) Tag: New redirect
22:55, 10 August 2024 Murray talk contribs created page Hengyu Wang (Created page with "{{Group member |First name=Hengyu |Last name=Wang |Current position=MS student |Department=EE |Current project=AFOSR SynBio MURI }}")
22:45, 10 August 2024 Murray talk contribs created page Markus Meister (Created page with "{{Collaborator |First name=Markus |Last name=Meister |Organization=Caltech BBE |URL=https://meisterlab.caltech.edu }}")
22:44, 10 August 2024 Murray talk contribs created page Smruthi Karthikeyan (Created page with "{{Collaborator |First name=Smruthi |Last name=Smruthi |Organization=Caltech ESE |URL=https://smruthikarthikeyan.com }}")
22:43, 10 August 2024 Murray talk contribs created page Sal Ibarra (Created page with "{{Group member |First name=Sal |Last name=Ibarra |Current position=PhD student |Department=BE |Co-advisor=Smruthi Karthikeyan }}")
22:42, 10 August 2024 Murray talk contribs created page Han Zhang (Created page with "{{Group member |First name=Han |Last name=Zhang |Current position=PhD student |Department=BE |Co-advisor=Kaihang Wang }}")
22:41, 10 August 2024 Murray talk contribs created page Leo Li (Created page with "{{Group member |First name=Leo |Last name=Li |Current position=PhD student |Department=CNS |Co-advisor=Markus Meister }}")
15:53, 10 August 2024 Murray talk contribs created page BE/EE/MedE 189a, Fall 2024 (Created page with "{{Course |Course number=BE/EE/MedE 189a |Course title=Design and Construction of Biodevices |Year=2024 |Term=Fall |Lecture schedule=Tu/Th, 10:30-11:55 |Instructors=Richard Murray |Instructor office hours=Wed, 3-3:45 pm, Annenberg lounge |TAs=Anne Kil, Steven Lin |TA office hours=TBD }}")
15:34, 23 July 2024 User account Nuvia talk contribs was created automatically
21:04, 25 June 2024 User account Mjanssen talk contribs was created automatically
17:42, 25 June 2024 User account Dhakken talk contribs was created automatically
17:41, 25 June 2024 User account Lbjorn talk contribs was created automatically
13:07, 25 June 2024 Murray talk contribs created page File:Murray seed2024-firstpage.png
13:07, 25 June 2024 Murray talk contribs uploaded File:Murray seed2024-firstpage.png
14:53, 22 June 2024 Murray talk contribs created page SEED 2024 (Created page with "TBD")
19:35, 20 June 2024 User account Dvasyuty talk contribs was created automatically
02:02, 16 June 2024 Murray talk contribs created page ICB Synthetic Cell (Redirected page to Design and Implementation of Multi-Component Synthetic Cells) Tag: New redirect
16:25, 9 June 2024 Murray talk contribs created page Group Schedule, Summer 2024 (Created page with "This page contains information about various upcoming events that are of interest to the group. __NOTOC__ {| width=60% |- valign=top | width=50% | * Richard's calendar (travel) | width=50% | * Group Schedule, Spring 2023 |} The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, biocircuits and synthetic cell meetings are in 111 Keck and NCS meetings are in 110 Steele. {|...")
04:18, 13 May 2024 Murray talk contribs created page Nok Wongpiromsarn, May 2024 (Created page with "Nok Wongpiromsarn, an Assistant Professor at Iowa State, will visit Caltech on 20-21 May 2024. 20 May 2024 * 9:30a: Open * 10:15a: Open * 10:30a: Open * 11:15a: Open * 12p-1:15p: Lunch * 1:15p: Open * 2:00p: Open * 2:45p: Open * 3:30p: Open * 4:15p: Open * ~6 pm: dinner with Richard 21 May 2024 * 10:15a: Open * 10:30a: Open * 11:15a: Open * 12-1p: Lunch * 1-3 pm: Apurva Badithela thesis defense * 3:00 pm: Open * 3:45 pm: Open * 4:30 pm: Open")
18:40, 10 April 2024 Murray talk contribs created page Katie Galloway, Apr 2024 (Created page with "Katie Galloway from MIT will visit on 15 Apr (Fri). Schedule: * 10:30a: Matt Kratz (meet at Red Door) * 11:15a: Zoila Jurado (meet at Red Door) * 12:00p: BBE faculty seminar (Michael Elowitz, 130 Chen) * 1:00p: Richard Murray (will be up at 1:30 Chen) * 1:45p: Inigo Incer (meet in Richard's office)")
21:00, 4 April 2024 User account Tmlee talk contribs was created automatically
14:30, 2 April 2024 Murray talk contribs created page David Moore, 5 Apr 2023 (Created page with "David Moore will visit Caltech on 5 Apr 2023 (Fri). Schedule: * 9:00 am: Pietro Perona * 9:45 am: Open (Murray group) * 10:30 am: Richard Murray * 11:15 am: Open (Murray group) * 12:00 pm: Lunch with interested students")
05:30, 1 April 2024 Murray talk contribs created page Template:Cds110 sp2024 pdf (Created page with "[[http:www.cds.caltech.edu/~murray/courses/cds110/sp2024/{{{1}}}|{{{2|{{{1}}}}}}]]")
20:37, 26 March 2024 User account Dgarciac talk contribs was created automatically
21:41, 25 March 2024 User account Philippe talk contribs was created automatically
17:02, 10 March 2024 Murray talk contribs created page Group Schedule, Spring 2024 (Created page with "his page contains information about various upcoming events that are of interest to the group. __NOTOC__ {| width=60% |- valign=top | width=50% | * Richard's calendar | width=50% | * Group Schedule, Winter 2024 |} The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, biocircuits meetings are in 111 Keck and NCS meetings are in 110...")
06:12, 9 March 2024 Murray talk contribs moved page CDS 110/ChE 130, Spring 2024 to CDS 110/ChE 105, Spring 2024
06:11, 9 March 2024 Murray talk contribs created page CDS 110/ChE 105 (Redirected page to CDS 110/ChE 105, Spring 2024) Tag: New redirect
06:11, 3 February 2024 Murray talk contribs created page Anthony Fragoso (Created page with "{{Group member |First name=Anthony |Last name=Fragoso |Current position=Alumni |Department=AE |Co-advisor=Larry Matthies |Graduated=2017/10/11 |Previous positions=PhD student |Subsequent positions=Postdoc, California Institute of Technology (Soon-Jo Chung) U.S. Army Engineer Research and Development Center (ERDC) }}")
06:18, 29 January 2024 Murray talk contribs created page Trinity Lee (Created page with "{{Group member |First name=Trinity |Last name=Lee |Current position=Undergraduate |Department=BE |Previous positions=Undergraduate }}")
06:11, 29 January 2024 Murray talk contribs moved page CDS 110, Spring 2024 to CDS 110/ChE 130, Spring 2024
05:58, 23 January 2024 User account Ladeli talk contribs was created automatically
06:35, 20 January 2024 Murray talk contribs created page SURF discussions, Jan 2024 (Created page with "Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__ In preparation for our conversation, please do the following: * SURF students should work with their co-mentors to find a time the meeting/Zoom call. (For Zoom calls, co-mentors should initiate.) * Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the pro...")
19:36, 16 January 2024 User account Hzhang9 talk contribs was created automatically
20:16, 15 January 2024 Murray talk contribs created page File:ICB24-syncell.png
20:16, 15 January 2024 Murray talk contribs uploaded File:ICB24-syncell.png
20:09, 15 January 2024 Murray talk contribs created page Design and Implementation of Multi-Component Synthetic Cells (Created page with "{{subst:project boilerplate}} {{Project |Title=Design and Implementation of Multi-Component Synthetic Cells |Agency=ARO/ICB |Grant number=TBD |Start date=1 Dec 2023 |End date=30 Nov 2028 |Support summary=1 graduate student, part-time technician |Reporting requirements=Annual report |Project ID=ICB24-syncell }}")
01:21, 3 January 2024 User account Stalukde talk contribs was created automatically
02:00, 30 December 2023 Yz473 talk contribs created page SURF 2024: Making Purer PURE (Created page with "'''2024 SURF project description''' __NOTOC__ * Mentor: Richard Murray * Co-mentors: Yan Zhang and Zachary Martinez Main Objective: Reduce background contaminant of One-Pot PURE systems === Introduction === The PURE (Protein Synthesis Using Recombinant Enzymes) system uses a defined set of 36 enzymes necessary for transcription, translation, and energy cycling to create a minimal system to support protein expression. This minimal system allows fa...")
21:34, 27 December 2023 Murray talk contribs created page Efficient local validation of partially ordered models via Baysian directed sampling (Created page with "{{Paper |Title=Efficient local validation of partially ordered models via Baysian directed sampling |Authors=Kellan Moorse and Richard Murray |Source=Submitted, 2024 American Control Conference (ACC) |Abstract=We consider the problem of estimating the subset of test conditions under which a simplified model—or set of simplified models—accurately approximates the behavior of a true system. We approach the problem by proposing a compact set of possible test conditions,...")
21:22, 27 December 2023 Murray talk contribs created page Integrase-mediated differentiation circuits improve evolutionary stability of burdensome and toxic functions in E. coli (Created page with "{{Paper |Title=Integrase-mediated differentiation circuits improve evolutionary stability of burdensome and toxic functions in E. coli |Authors=Rory L. Williams and Richard M. Murray |Source=Nature Communications, 13:6822, 2022 |Abstract=Advances in synthetic biology, bioengineering, and computation allow us to rapidly and reliably program cells with increasingly complex and useful functions. However, because the functions we engineer cells to perform are typically...")
21:18, 27 December 2023 Murray talk contribs created page Addressable and adaptable intercellular communication via DNA messaging (Created page with "{{Paper |Title=Addressable and adaptable intercellular communication via DNA messaging |Authors=John P. Marken and Richard M. Murray |Source=Nature Communications, 14:2358, 2023 |Abstract=Engineered consortia are a major research focus for synthetic biologists because they can implement sophisticated behaviors inaccessible to single-strain systems. However, this functional capacity is constrained by their constituent strains’ ability to engage in complex communi...")
21:14, 27 December 2023 Murray talk contribs created page TRILL: Orchestrating Modular Deep-Learning Workflows for Democratized, Scalable Protein Analysis and Engineering (Created page with "{{Paper |Title=TRILL: Orchestrating Modular Deep-Learning Workflows for Democratized, Scalable Protein Analysis and Engineering |Authors=Zachary A Martinez, Richard M. Murray, Matt W. Thomson |Source=Submitted, 2024 SEED |Abstract=Deep-learning models have been rapidly adopted by many fields, partly due to the deluge of data humanity has amassed. In particular, the petabases of biological sequencing data enable the unsupervised training of protein language models that le...")
21:12, 27 December 2023 Murray talk contribs created page Engineering the soil bacterium Pseudomonas synxantha 2-79 into a ratiometric bioreporter for phosphorus limitation (Created page with "{{Paper |Title=Engineering the soil bacterium Pseudomonas synxantha 2-79 into a ratiometric bioreporter for phosphorus limitation |Authors=Elin M. Larsson, Richard M. Murray, Dianne K. Newman |Source=To appear, ACS Synthetic Biology, 2024 |Abstract=Microbial bioreporters hold promise for addressing challenges in medical and environmental applications. However, the difficulty of ensuring their stable persistence and function within the target environment remains a challe...")
21:09, 27 December 2023 Murray talk contribs created page A chemical reaction network model of PURE (Created page with "{{Paper |Title=A chemical reaction network model of PURE |Authors=Zoila Jurado, Ayush Pandey, Richard M. Murray |Source=BioRxiv preprint |Abstract=Cell-free expression systems provide a method for rapid DNA circuit prototyping and functional protein synthesis. While crude extracts remain a black box with many components carrying out unknown reactions, the PURE system contains only the required transcription and translation components for protein production. All proteins...")
21:07, 27 December 2023 Murray talk contribs created page Development of cell-free transcription-translation systems in three soil Pseudomonads (Created page with "{{Paper |Title=Development of cell-free transcription-translation systems in three soil Pseudomonads |Authors=Joseph T. Meyerowitz, Elin M. Larsson, Richard M. Murray |Source=To appear, ACS Synthetic Biology |Abstract=In vitro transcription-translation (TX-TL) can enable faster engineering of biological systems. This speed-up can be significant, especially in difficult-to-transform chassis. This work shows the successful development of TX-TL systems using three soil-deri...")
20:58, 27 December 2023 Murray talk contribs created page Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design (Created page with "{{Paper |Title=Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design |Authors=Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoit Caillaud, Richard M. Murray, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia |Source=Submitted, ACM Transactions on Cyber-Physical Systems (TCPS), Aug 2023 |Abstract=Contract-based design is a method to facilitate modular system design. While ther...")
20:54, 27 December 2023 Murray talk contribs created page Metabolic perturbations to an E. coli-based cell-free system reveal a trade-off between transcription and translation (Created page with "{{Paper |Title=Metabolic perturbations to an E. coli-based cell-free system reveal a trade-off between transcription and translation |Authors=Manisha Kapasiawala and Richard M. Murray |Source=SEED 2023 |Abstract=Cell-free transcription-translation (TX-TL) systems have been used for diverse applications, from prototyping gene circuits to providing a platform for the development of synthetic life, but their performance is limited by issues such as batch-to-batch variabilit...")
20:52, 27 December 2023 Murray talk contribs created page Control education for societal-scale challenges: A community roadmap (Created page with "{{Paper |Title=Control education for societal-scale challenges: A community roadmap |Authors=John Anthony Rossiter, Christos G. Cassandras, João Hespanha, Sebastian Dormido, Luis de la Torre, Gireeja Ranade, Antonio Visioli, John Hedengren, Richard M. Murray, Panos Antsaklis, Francoise Lamnabhi-Lagarrigue, Thomas Parisini |Source=Annual Reviews in Control, 55:1-17, 2023 |Abstract=This article focuses on extending, disseminating and interpreting the findings of an IEEE C...")
20:49, 27 December 2023 Murray talk contribs created page Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design (Redirected page to Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles) Tag: New redirect
20:43, 27 December 2023 Murray talk contribs created page A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths (Created page with "{{Paper |Title=A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths |Authors=Fatemeh Aghimand, Chelsea Hu, Saransh Sharma, Krishna K. Pochana, Richard M. Murray, Azita Emami |Source=2023 IEEE International Solid-State Circuits Conference (ISSCC) |Abstract=Integrated, low-cost and miniaturized devices that can detect clinically relevant biomarkers are crucial for the growing field of precision medicine as they can enable poi...")
20:39, 27 December 2023 Murray talk contribs created page Context-Aided Variable Elimination for Requirement Engineering (Created page with "{{Paper |Title=Context-Aided Variable Elimination for Requirement Engineering |Authors=Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia |Source=Submitted, 2023 Formal Methods in Computer-Aided Design (FMCAD) |Abstract=Deriving system-level specifications from component specifications usually involves the elimination of variables that are not part of the interface of the top-level system. This paper presents algorithms f...")
20:32, 27 December 2023 Murray talk contribs created page Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications (Created page with "{{Paper |Title=Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications |Authors=Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames |Source=Submitted, IEEE Transactions on Automatic Control, 2023 |Abstract=We propose an adversarial, time-varying test-synthesis procedure for safety-critical systems without requiring specific knowledge of the underlying controller steering the system. From a broader test and eva...")
17:41, 27 December 2023 Murray talk contribs created page Richard Andersen (Created page with "{{Collaborator |First name=Richard |Last name=Andersen |Organization=BBE }}")
17:40, 27 December 2023 Murray talk contribs created page Nikos Mynhier (Created page with "{{Group member |First name=Nikos |Last name=Mynhier |Current position=PhD student |Co-advisor=Richard Andersen |LinkedIn=https://www.linkedin.com/in/nikos-mynhier-a8540b149/ }}")
16:50, 27 December 2023 Murray talk contribs created page Property:Subsequent positions (Created page with "This is a property of type Has type::Text.")
16:27, 27 December 2023 Murray talk contribs created page Kimia Hassibi (Created page with "{{Group member |First name=Kimia |Last name=Hassibi |Current position=Undergraduate |Department=CS }}")
21:46, 23 December 2023 Murray talk contribs created page Template:E/SEC 103 pdf (Created page with "[[http:www.cds.caltech.edu/~murray/courses/e-sec-103/{{{1}}}/{{{2}}}|{{{3|{{{2}}}}}}]]")
22:43, 22 December 2023 Murray talk contribs created page Bi/BE/CS 183 (Redirected page to Bi/BE/CS 183, Winter 2024) Tag: New redirect
00:03, 19 December 2023 Mengcao talk contribs created page File:Transgene modularity Library (1).jpeg
00:03, 19 December 2023 Mengcao talk contribs uploaded File:Transgene modularity Library (1).jpeg
04:02, 18 December 2023 Zmartine talk contribs created page SURF 2024: Towards a Minimal Model for Virus-Host Interactions (Created page with "'''2024 SURF project description''' __NOTOC__ * Mentor: Richard Murray * Co-mentors: Zachary Martinez right|600px Main Idea: Engineering a synthetic cell that can be infected by a natural virus. === Introduction === Viruses are abundant (~1031), ancient (> 4 bya), and evolve quickly (average of 10-3 - 10-8 mutation rate). Due to the immense diversity of viruses, between...")
01:05, 16 December 2023 Mengcao talk contribs created page SURF 2024: Establish synthetic biology toolkits for Steinernema nematode transgene expression (Created page with "'''SURF 2024 project description''' thumb|500px|right|Figure 1: * Mentor: Mengyi Cao == '''Project Overview:''' == ''Steinernema'' nematodes associate with species-specific mutualistic symbiotic bacteria in ''Xenorhabdus'' spp and together they can infect insects that are agricultural pests. Therefore, the nematode-bacteria partnership is a valuable experimental system to study symbiosis and is important in promoting agricultural productiv...")
00:44, 16 December 2023 User account Mengcao talk contribs was created automatically
22:51, 15 December 2023 Abadithe talk contribs created page SURF 2024: Task-Relevant Metrics for Perception (Created page with "'''2024 SURF Task-Relevant Metrics for Perception''' * Mentor: Richard Murray * Co-mentor: Apurva Badithela ==Project Description== right|800px|Caption: System-level requirements are easier to formalize than requirements on perception tasks. ==Problem== In this SURF, we will explore the interface between perception and planning more carefully. Misclassification or misdetection in a single frame is unlikely to tr...")
20:54, 15 December 2023 Abadithe talk contribs created page File:Double switch.mp4
20:54, 15 December 2023 Abadithe talk contribs uploaded File:Double switch.mp4
20:26, 15 December 2023 Abadithe talk contribs created page File:Single switch.mp4
20:26, 15 December 2023 Abadithe talk contribs uploaded File:Single switch.mp4
19:03, 13 December 2023 Abadithe talk contribs created page SURF 2024: Hierarchical Testing for Safety-Critical Autonomous Systems (Created page with "'''2024 SURF Hierarchical Testing for Safety-Critical Autonomous Systems''' * Mentor: Richard Murray * Co-mentor: Apurva Badithela ==Project Description== Automatically identifying failure cases of safety-critical autonomous systems is important for mainstream deployment of these systems. A few examples of such safety-critical robotic systems is illustrated on the right. Since autonomous robotic systems are complex and their domain of operation is very l...")
19:02, 13 December 2023 Abadithe talk contribs created page File:Autonomous robotic systems.png
19:02, 13 December 2023 Abadithe talk contribs uploaded File:Autonomous robotic systems.png
22:04, 12 December 2023 User account Tchari talk contribs was created automatically
22:04, 12 December 2023 User account Mffang talk contribs was created automatically
11:59, 11 December 2023 Elarsson talk contribs created page File:SURF2024 Fig2.png
11:59, 11 December 2023 Elarsson talk contribs uploaded File:SURF2024 Fig2.png
05:49, 11 December 2023 Murray talk contribs moved page ICB synbiofilms to ICB Synthetic Biofilms
05:46, 11 December 2023 Murray talk contribs created page Steve Mayo (Created page with "{{Collaborator |First name=Stephen |Last name=Mayo |Organization=Caltech |URL=https://www.mayo.caltech.edu |Projects=ICB synbiofilms }}")
05:45, 11 December 2023 Murray talk contribs created page Blade Olson (Created page with "{{Group member |First name=Blade |Last name=Olson |Current position=PhD student |Co-advisor=Steve Mayo }}")
05:42, 11 December 2023 Murray talk contribs created page ICB synbiofilms (Redirected page to Control of Functional Bioenabled Materials using Synthetic Cells) Tag: New redirect
05:39, 11 December 2023 Murray talk contribs created page File:Icb-synbiofilm.png
05:39, 11 December 2023 Murray talk contribs uploaded File:Icb-synbiofilm.png
05:27, 11 December 2023 Murray talk contribs created page Control of Functional Bioenabled Materials using Synthetic Cells (Created page with "Place project description here. Use {{subst:project boilerplate}} to insert the standard boilerplate information. {{Project |Title=Control of Functional Bioenabled Materials using Synthetic Cells |Agency=ARO ICB |Grant number=W911NF19D90001 |Start date=1 Aug 2023 |End date=31 Jul 2025 |Support summary=2 graduate students |Reporting requirements=Annual reports |Project ID=ICB biomaterial }}")
02:09, 11 December 2023 Elarsson talk contribs created page File:Lifecycle.png
02:09, 11 December 2023 Elarsson talk contribs uploaded File:Lifecycle.png
01:51, 11 December 2023 Elarsson talk contribs created page SURF 2024: Bioengineering toolkit development for genetic alterations in the entomopathogenic nematode symbiont Xenorhabdus griffiniae (Created page with "'''SURF 2024 project description''' __NOTOC__ * Mentor: Richard Murray * Co-mentor: Elin Larsson == Background == Nematodes are key players in the soil environment, where they feed on bacteria, fungi, insects and plant roots. Therefore, they affect decomposition of organic matter, cycling of nutrients and population size and distribution of other living organisms. Entomopathogenic nematodes (EPN, insect-parasitic) and their symbiotic bacteria are crucial...")
19:54, 10 December 2023 Murray talk contribs created page Group Schedule, Winter 2024 (Created page with "This page contains information about various upcoming events that are of interest to the group. __NOTOC__ {| width=60% |- valign=top | width=50% | * Richard's calendar | width=50% | * Group Schedule, Fall 2023 |} The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, biocircuits meetings are in 111 Keck and NCS meetings are in 110 S...")
22:29, 3 December 2023 Murray talk contribs created page Property:Lecture schedule (Created page with "This is a property of type Has type::Text. The allowed value for this property is:")
21:13, 3 December 2023 Murray talk contribs created page Property:TA office hours (Created page with "This is a property of type Has type::Text. The allowed value for this property is:")
21:13, 3 December 2023 Murray talk contribs created page Property:Instructor office hours (Created page with "This is a property of type Has type::Text. The allowed value for this property is:")
21:04, 3 December 2023 Murray talk contribs created page Template:Bi/BE/CS 183 public (Created page with "[[http:www.cds.caltech.edu/~murray/courses/bi-be-cs-183/wi2024/{{{1}}}|{{{2|{{{1}}}}}}]]")
20:07, 27 November 2023 Murray talk contribs created page SURF 2024 (Created page with "{{righttoc}} This page is intended for students interested in working on SURF projects in the Summer of 2024. It contains information about how to apply for a SURF project in my group along with a list of project areas. '''Note:''' Projects will be posted here starting after finals week and up to the start of classes. Please check back after that time for more information. === Applying for a SURF project === Because I get many students interested in doing SURFs in m...")
18:28, 26 November 2023 Murray talk contribs created page Property:LinkedIn (Created page with "This is a property of type Has type::URL.")
22:38, 5 November 2023 Murray talk contribs created page E/SEC 103, Winter 2024 (Created page with "{| width=100% |- | colspan=2 align=center | Management of Technology__NOTOC__ |- valign=top | width=50% | '''Instructors''' * Richard Murray (CDS/BE), murray@cds.caltech.edu * Stu Feldman and Eric Schmidt * Lectures: Mon/Wed, 1:30-2:55 pm | width=50% | '''Teaching Assistant''' * TBD * Office hours: TBD |} This is the public homepage for E/SEC 103, Spring 2023. This course is limited enrollment. All students interested in participati...")
17:07, 16 October 2023 User account Maxcohen talk contribs was created automatically
16:11, 15 October 2023 Murray talk contribs created page Property:Course title (Created page with "This is a property of type Has type::Text. The allowed value for this property is:")
15:45, 15 October 2023 Murray talk contribs created page Bi/BE/CS 183, Winter 2024 (Created page with "{{Course |Course number=Bi/BE/CS 183 |Year=2024 |Term=Winter |Instructors=Richard Murray (CDS/BE) }}")
15:36, 15 October 2023 Murray talk contribs created page Admin/Courses (Created page with "This page contains information about the Course class, used for keeping track of courses. === Class structure === A course is a page in the Courses category with the properties listed below. This category is used to list courses on the Main Page as well as the Courses page. === Templates and Actions === * Special:FormEdit/Course - create a new Project entry ** Form:Course - form used to create a new project ** Template:Course...")
15:32, 15 October 2023 Murray talk contribs created page Property:Course number (Created a property of type Text)
15:32, 15 October 2023 Murray talk contribs created page Property:Term (Created a property of type Text)
15:32, 15 October 2023 Murray talk contribs created page Property:Instructors (Created a property of type Page)
15:31, 15 October 2023 Murray talk contribs created page Form:Course
15:30, 15 October 2023 Murray talk contribs created page Template:Course
20:31, 10 October 2023 Murray talk contribs created page Naira Hovakimyan, Oct 2023 (Created page with "Naira Hovakimyan will visit CDS on 18 Oct 2023 (Wed). If you would like to meet with her, please sign up below. * 9:15: open * 10:00: open * 10:45: seminar setup * 11:00: Seminar (location TBD) * 12:00: Lunch - Richard * 1:15: open * 2:00: open * 2:30: open * 3:00: CDS tea * 3:45: NCS group meeting * 5:00: depart <hr> <center> Safe Learning in Autonomous Systems '''Naira Hovakimyan''' UIUC </center> Abstract: Learning-based co...")
19:23, 27 September 2023 User account Mplazola talk contribs was created automatically
21:24, 8 September 2023 Murray talk contribs created page Group Schedule, Fall 2023 (Created page with "This page contains information about various upcoming events that are of interest to the group. __NOTOC__ {| width=60% |- valign=top | width=50% | * Richard's calendar | width=50% | * Group Schedule, Summer 2022 |} The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, biocircuits group meetings are in 111 Keck and NCS group meeting...")
14:31, 3 August 2023 Murray talk contribs created page Andras Gyorgy, Aug 2023 (Created page with "Andras Gyorgy from NYU Abu Dhabi will visit on 7 Aug (Mon). == Schedule == * 9:30 am: Richard, 109 Steele * 10:00 am: open * 10:30 am: open * 11:00 am: Seminar, 111 Keck * 12:15 pm: Lunch with graduate students * 1:30 pm: open * 2:15 pm: open * 3:00 pm: open * 3:45 pm: open * 4:30 pm: done for the day")
01:51, 17 July 2023 Murray talk contribs created page Marta Kwiatkowska, Jul 2023 (Created page with "Marta Kwiatkowska from the University of Oxford will be visiting on 21 Jul (Fri). === Schedule === * 8:30 am: Open * 9:15 am: Open * 10:00 am: Richard Murray (109 Steele Lab) * 11:00 am: Seminar (121 Annenberg) * 12:00 pm: Lunch with Richard, Erik, Lulu * 1:30 pm: Lulu Qian * 2:15 pm: Erik Winfree * 3:00 pm: Open (T&E?) * 4:00 pm: Open (Pacti?) * 5:00 pm: done for the day === Abstract === TBD === Bio === Marta Kwiatkowska is Professor of Computing Systems and Fello...")
00:50, 10 July 2023 Murray talk contribs created page Schmidt SynCell (Redirected page to Upscaling Engineering of Synthetic Biomachines) Tag: New redirect
00:48, 10 July 2023 Murray talk contribs created page File:Schmidt-syncell.png
00:48, 10 July 2023 Murray talk contribs uploaded File:Schmidt-syncell.png
00:32, 10 July 2023 Murray talk contribs created page Upscaling Engineering of Synthetic Biomachines (Created page with "The long-term goal of this research activity is to formulate, demonstrate, and evaluate a new model for biological systems engineering. To develop and demonstrate this approach, a team of research engineers will integrate components and circuits created by others to implement a non-trivial biological function. The demonstration will include standardizing components and chasses, “routinizing” the required workflows, and systematizing the design abstractions and tools....")
21:20, 12 June 2023 User account Esvegbor talk contribs was created automatically
20:11, 4 June 2023 Murray talk contribs created page Roee Francos, 7 Jun 2023 (Created page with "Roee Francos, a PhD student under the supervision of Prof. Freddy Bruckstein at the Computer Science Department at the Technion- Israel Institute of Technology, will be visiting Caltech on Wed (7 Jun). Roey's research focuses on multi-agent systems, computer vision and trajectory planning problems in intelligent transportation systems. If you have some time to meet with Roee, you can sign up for a time here (please edit to add your name and indicate where you will meet...")
14:19, 4 June 2023 Murray talk contribs created page Group Schedule, Summer 2023 (Created page with "This page contains information about various upcoming events that are of interest to the group. __NOTOC__ {| width=60% |- valign=top | width=50% | * Richard's calendar (travel) | width=50% | * Group Schedule, Spring 2022 |} The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, biocircuits and synthetic cell meetings are in 111 Keck and NCS meetings are in 110 Steele. {|...")
00:02, 29 May 2023 Murray talk contribs created page CDS 110, Spring 2024 (Created page with "{| width=100% |- | colspan=2 align=center | Analysis and Design of Feedback Control Systems__NOTOC__ |- valign=top | width=50% | '''Instructors''' * Richard Murray (CDS/BE), murray@cds.caltech.edu * Lectures: MWF, 2-3 pm, TBD | width=50% | '''Teaching Assistants''' * TBD * Office hours: TBD |} This is the course homepage for CDS 110/ChE 105, Spring 2024. === Course Syllabus === An introduction to analysis and design of feedback cont...")
00:42, 29 March 2023 User account Bladeols talk contribs was created automatically
19:24, 27 March 2023 Murray talk contribs created page Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Autonomous Systems (Created page with "{{Paper |Title=Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Autonomous Systems |Authors=Apurva Badithela, Tichakorn Wongpiromsarn, and Richard M. Murray |Source=Submitted, 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) |Abstract=This paper proposes two new metrics to evalu- ate learned object detection models for quantitative system-level analysis via probabilistic model-checking. In particular, proposi...")
17:52, 27 March 2023 Murray talk contribs created page Property:DOI (Created page with "This is a property of type Has type::Text.")
22:12, 12 March 2023 Murray talk contribs created page Group Schedule, Spring 2023 (Created page with "his page contains information about various upcoming events that are of interest to the group. __NOTOC__ {| width=60% |- valign=top | width=50% | * Richard's calendar | width=50% | * Group Schedule, Winter 2023 |} The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, biocircuits meetings are in 111 Keck and NCS meetings are in 110...")
18:43, 8 March 2023 User account Alale talk contribs was created automatically
00:19, 8 March 2023 User account Imandral talk contribs was created automatically
01:47, 7 March 2023 User account Japreiss talk contribs was created automatically
23:35, 6 March 2023 Murray talk contribs created page Yasmine Marani, 8 Mar 2023 (Created page with "Yasmine Marani, a PhD student with Eric Feron at KAUST, is going to be visiting Caltech on 8 Mar (Wed). She is working on observer design for nonlinear systems, combining standard control theory methods with learning-based approaches while providing convergence proofs of the whole scheme. She also applies the methods she develops to quadcopters. == 8 Mar 2023 (Wed) == * 9:00 am: Open (only use if other slots are filled) * 9:45 am: Open (only use if other slots are fi...")
20:53, 4 March 2023 Murray talk contribs created page ICB visit, 15 Mar 2023 (Created page with "The Institute for Collaborative Biotechnology (ICB) is going to be hosting a visit to Caltech on 15 Mar (Wed) for some people who are interested in supporting work related to active materials and other topics in engineering biology. This meeting is by invitation only; please contact Richard Murray if you are interested in participating. * 10:30-11 am: Welcome (Richard, Ken) * 11-11:30 am: Gozde  * 11:30-12 pm: Elliot  * 12:15-1...")
03:19, 27 February 2023 Murray talk contribs created page Lars Nielsen, March 2023 (Created page with "Lars Nielsen from Linkoping University in Sweden will visit Caltech on 13-17 March 2023. __NOTOC__ {| width=100% border=1 |- valign=top | width=20% | === 13 Mar (Mon) === * 8:30 am: Richard, 110 Steele Lab * 9:30 am: open * 10:15 am: open * 11:00 am: open * 11:45 am: Lunch: Richard + Faculty * 1:15 pm: open * 2:00 pm: Hold: seminar * 3:15 pm: Open * 4:00 pm: Open | width=20% | === 14 Mar (Tue) === * 9:00 am: open * 10:00 am: Biocircuits meeting (optional) * 12:00 pm: L...")
16:26, 9 February 2023 Murray talk contribs created page E/SEC 103, Spring 2023 (Created page with "{| width=100% |- | colspan=2 align=center | Technology Forecasting__NOTOC__ |- valign=top | width=50% | '''Instructors''' * Richard Murray (CDS/BE), murray@cds.caltech.edu * Stu Feldman and Eric Schmidt * Lectures: Tu-Th, 1-2:30 pm, 130 CNRB | width=50% | '''Teaching Assistant''' * TBD * Office hours: TBD |} This is the public homepage for E/SEC 103, Spring 2022. === Catalog Description === This course is intended for students inter...")
19:29, 22 January 2023 Murray talk contribs created page SURF discussions, Feb 2023 (Created page with "Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__ In preparation for our conversation, please do the following: * SURF students should work with their co-mentors to find a time the meeting/Zoom call. (For Zoom calls, co-mentors should initiate.) * Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the pro...")
14:30, 20 January 2023 User account Imalik talk contribs was created automatically
22:37, 15 January 2023 Murray talk contribs created page Paul Freemont, January 2023 (Created page with "Paul Freemont will visiting Caltech on 23-27 January. Sign up for times to meet with Paul here: == Monday == * 9:30 am: Richard Murray, 109 Steele Lab * 10 am: Cell-free discussion #1, 111 Keck * 11:45 am: Lunch at the Ath with students/postdocs * 1:00 pm: Open * 5:30 pm: Done for the day == Tuesday == * 9 am: EBRC PI&E meeting (Zoom) * 10 am: open * 10:45 am: Cell-free discussion #2, 111 Keck * 12:30 pm: Lunch at the Ath with Richard, Elisa Franco * 3:45 pm: Cell-fre...")
17:07, 7 January 2023 Murray talk contribs created page Reasoning over Test Specifications using Assume-Guarantee Contracts (Created page with "{{Paper |Title=Reasoning over Test Specifications using Assume-Guarantee Contracts |Authors=Apurva Badithela, Josefine B. Graebener, Inigo Incer, and Richard M. Murray |Source=Submitted, NASA Formal Methods (NFM), 2023 |Abstract=We establish a framework to reason about test campaigns described formally. First, we introduce the notion of a test structure — an object that carries i) the formal specifications of the system under test, and ii) the test objective, which is...")
17:00, 21 December 2022 Zmartine talk contribs uploaded a new version of File:Phage Infecting Synthetic Cell.png
16:57, 21 December 2022 Zmartine talk contribs uploaded a new version of File:Phage Infecting Synthetic Cell.png
16:56, 21 December 2022 Zmartine talk contribs created page File:Phage Infecting Synthetic Cell.png
16:56, 21 December 2022 Zmartine talk contribs uploaded File:Phage Infecting Synthetic Cell.png
05:35, 21 December 2022 Murray talk contribs moved page SURF 2023 Formal compositional design of electro-mechanical systems to SURF 2023: Formal compositional design of electro-mechanical systems without leaving a redirect
05:28, 21 December 2022 Murray talk contribs moved page SURF 2023: Minimal Viral Model to SURF 2023: Towards a Minimal Model for Virus-Host Interactions without leaving a redirect
03:02, 21 December 2022 Dajohnso talk contribs uploaded a new version of File:Integrated-membrane.png
16:12, 20 December 2022 Zmartine talk contribs created page SURF 2023: Minimal Viral Model (Created page with "= Towards a minimal model for virus-host interactions = '''2023 SURF project description''' * Mentor: Richard Murray * Co-mentors: Zachary Martinez Main Idea: Engineering a synthetic cell that can be infected by a natural virus. === Introduction === Viruses are abundant (~1031), ancient (> 4 billion years old), and evolve quickly (average of 10-3 - 10-8 mutation rate). Due to the immense diversity of viruses, bet...")
07:27, 20 December 2022 Yz473 talk contribs created page SURF 2023: Lysate Optimization to Extend Cell-Free Reaction Lifetime (Created page with "Mentor: Richard Murray Co-mentor: Yan Zhang Introduction: Cell-free expression systems harness the transcriptional and translational machinery of living cells to enable in vitro functions that are usually only effective in vivo [1]. Cell-free reactions can be created from purified recombinant elements comprising the minimum set of necessary transcriptional and translational machinery (PURE systems) [2] or via crude cell lysate from cells [3]. Of which, the...")
19:11, 19 December 2022 Inigo talk contribs created page File:SURF2023-CBD.png
19:11, 19 December 2022 Inigo talk contribs uploaded File:SURF2023-CBD.png
19:10, 19 December 2022 Inigo talk contribs created page SURF 2023 Formal compositional design of electro-mechanical systems (Created page with "Practitioners often rank the handling of specifications as one of the top challenges of systems engineering. Requirements expressed in natural languages can be conflicting, incomplete, unrealizable, etc. One way to alleviate this problem and the miscommunications it can produce in the supply chain is by making specifications formal (i.e., having well-defined mathematical meaning) and providing means for handling these specifications algebraically and computationally. Co...")
22:44, 18 December 2022 Murray talk contribs created page File:Afosr-t&e2.png
22:44, 18 December 2022 Murray talk contribs uploaded File:Afosr-t&e2.png
22:43, 18 December 2022 Murray talk contribs created page AFOSR T&E2 (Redirected page to Layered T&E for Safety-Critical Autonomous Systems) Tag: New redirect
22:34, 18 December 2022 Murray talk contribs created page Layered T&E for Safety-Critical Autonomous Systems (Created page with "{{subst:project boilerplate}} {{Project |Title=Layered T&E for Safety-Critical Autonomous Systems |Agency=AFOSR |Grant number=FA9550-22-1-0333 |Start date=30 Sep 2022 |End date=29 Sep 2025 |Support summary=1 postdoc, 1-2 graduate students |Reporting requirements=Annual program review + report |Project ID=AFOSR T&E2 |ack=Research supported by the AFOSR Test and Evaluation program, grant FA9550-22-1-0333 }}")
20:13, 17 December 2022 User account Inigo talk contribs was created automatically
23:33, 16 December 2022 Dajohnso talk contribs created page SURF 2023: Membrane Proteins (Created page with "'''2023 SURF project description''' * Mentor: Richard Murray * Co-mentors: Alex Johnson right|100px|frame|Integration of a membrane protein for extracellular interaction. == Introduction == This SURF project aims to characterize membrane integrated protein expression in synthetic cells and leverage the results through design of a system to interact with the extracellular space. Taking synthetic biology out of the test tube...")
23:15, 16 December 2022 Dajohnso talk contribs uploaded a new version of File:Integrated-membrane.png
23:10, 16 December 2022 Dajohnso talk contribs created page File:Integrated-membrane.png
23:10, 16 December 2022 Dajohnso talk contribs uploaded File:Integrated-membrane.png
20:12, 13 December 2022 Murray talk contribs created page Group Schedule, Winter 2023 (Created page with "This page contains information about various upcoming events that are of interest to the group. __NOTOC__ {| width=60% |- valign=top | width=50% | * Richard's calendar | width=50% | * Group Schedule, Fall 2021-22 |} The schedule for group and subgroup meetings is given below. Contact Richard if you need to change the schedule. Unless otherwise noted, biocircuits meetings are in 111 Keck and NCS meetings are in 11...")
15:53, 12 December 2022 Murray talk contribs created page ARO CHARMME (Redirected page to Center for Harnessing Microbiota from Military Environments (CHARMME)) Tag: New redirect
15:49, 12 December 2022 Murray talk contribs created page File:Charmme-sbtools.png
15:49, 12 December 2022 Murray talk contribs uploaded File:Charmme-sbtools.png
15:32, 12 December 2022 Murray talk contribs created page Center for Harnessing Microbiota from Military Environments (CHARMME) (Created page with "{{subst:project boilerplate}} {{Project |Title=Center for Harnessing Microbiota from Military Environments (CHARMME) |Agency=ARO |Grant number=W911NF-22-2-0210 |Start date=30 Sep 2022 |End date=29 Sep 2027 |Support summary=1 graduate student |Project ID=ARO CHARMME }}")
03:04, 11 December 2022 Murray talk contribs created page Kaihang Wang (Created page with "{{Collaborator |First name=Kaihang |Last name=Wang |Organization=Caltech BBE |URL=https://wanglab.caltech.edu |Projects=Rosen Simple Cell }}")
03:02, 11 December 2022 Murray talk contribs created page John Doyle (Created page with "{{Collaborator |First name=John |Last name=Doyle |Organization=Catlech CDS |URL=http://www.cds.caltech.edu/~doyle/wiki/index.php?title=Main_Page |Projects=DARPA BioCon }}")
02:37, 11 December 2022 Murray talk contribs created page Sebastian Maerkl (Created page with "{{Collaborator |First name=Sebastian |Last name=Maerkl |Organization=EPFL |URL=http://lbnc.epfl.ch |Projects=HFSP TX-TL }}")
02:33, 11 December 2022 Murray talk contribs created page Chris Voigt (Created page with "{{Collaborator |First name=Chris |Last name=Voigt |Organization=MIT |URL=https://web.mit.edu/voigtlab/ |Projects=ONR MURI }}")
02:26, 11 December 2022 Murray talk contribs created page Sanjit Seshia (Created page with "{{Collaborator |First name=Sanjit |Last name=Seshia |Organization=UC Berkeley |URL=http://people.eecs.berkeley.edu/~sseshia/ |Projects=SRC TerraSwarm }}")
02:20, 11 December 2022 Murray talk contribs created page Soon-Jo Chung (Created page with "{{Collaborator |First name=Soon-Jo |Last name=Chung |Organization=Caltech CDS |URL=http://aerospacerobotics.caltech.edu }}")
02:16, 11 December 2022 Murray talk contribs created page Mory Gharib (Created page with "{{Collaborator |First name=Morteza (Mory) |Last name=Gharib |Organization=Caltech GALCIT |URL=https://www.gharib.caltech.edu }}")
01:57, 11 December 2022 Murray talk contribs created page Template:Project collaborator (Created page with "* {{{1}}} ({{{2}}})")
01:46, 11 December 2022 Murray talk contribs created page Template:Project collaborators (Created page with "{{#ask: Category:Collaborator [[Previous projects::{{PAGENAME}}]] | ?Current position = | ?Organization = | format = ul | sort = Last name | order = asc | link = none | format=template | template=Project participant }}")
01:37, 11 December 2022 Murray talk contribs created page Erik Winfree (Created page with "{{Collaborator |First name=Erik |Last name=Winfree |Organization=Caltech CNS/BE |URL=https://www.dna.caltech.edu/~winfree/ |Projects=NSF MPP, NSF MPP2 }}")
01:35, 11 December 2022 Murray talk contribs created page Eduardo Sontag (Created page with "{{Collaborator |First name=Eduardo |Last name=Sontag |Organization=Northeastern University |URL=http://www.sontaglab.org |Projects=AFOSR Syn Bio MURI }}")
01:34, 11 December 2022 Murray talk contribs created page Domitilla Del Vecchio (Created page with "{{Collaborator |First name=Domitilla |Last name=Del Vecchio |Organization=MIT |URL=https://scripts.mit.edu/~ddv |Projects=AFOSR Syn Bio MURI }}")
01:33, 11 December 2022 Murray talk contribs created page Tom Ellis (Created page with "{{Collaborator |First name=Tom |Last name=Ellis |Organization=Imperial College London |URL=https://www.tomellislab.com |Projects=BBSRC SynNucleus }}")
01:32, 11 December 2022 Murray talk contribs created page Yuval Elani (Created page with "{{Collaborator |First name=Yuval |Last name=Elani |Organization=Imperial College London |URL=https://www.imperial.ac.uk/people/y.elani |Projects=BBSRC SynNucleus }}")
01:29, 11 December 2022 Murray talk contribs created page Paul Freemont (Created page with "{{Collaborator |First name=Paul |Last name=Freemont |Organization=Imperial College London |URL=https://www.imperial.ac.uk/people/p.freemont |Projects=NSF Cell Free }}")
19:39, 10 December 2022 Murray talk contribs created page Collaborators (Created page with "List of current and past collaborators: {{#ask: Category:Collaborators | ?Organization | ?URL | ?Projects | sort = Last name | order = asc | mainlabel = Page }}")
19:33, 10 December 2022 Murray talk contribs created page David Prober (Created page with "{{Collaborator |First name=David |Last name=Prober |Organization=Caltech BBE |URL=https://proberlab.caltech.edu |Projects=ARL Zebrafish }}")
19:32, 10 December 2022 Murray talk contribs created page Azita Emami (Created page with "{{Collaborator |First name=Azita |Last name=Emami |Organization=Caltech EAS |URL=https://www.mics.caltech.edu |Projects=ARL Silicon-Cell }}")
19:27, 10 December 2022 Murray talk contribs created page Aaron Ames (Created page with "{{Collaborator |First name=Aaron |Last name=Ames |Organization=Caltech EAS |URL=http://ames.caltech.edu |Projects=AFOSR T&E }}")
19:18, 10 December 2022 Murray talk contribs created page Dianne Newman (Created page with "{{Collaborator |First name=Dianne |Last name=Newman |Organization=Caltech BBE/GPS |URL=https://dknweb.caltech.edu |Projects=ICB Soil Syn Bio }}")
19:18, 10 December 2022 Murray talk contribs created page Matt Thomson (Created page with "{{Collaborator |First name=Matt |Last name=Thomson |Organization=Caltech BBE |URL=https://thomsonlab.caltech.edu }}")
19:10, 10 December 2022 Murray talk contribs created page Admin/Collaborators (Created page with "This page contains information about the Collaborator class, used for keeping track of collaborators. === Class structure === A collaborator is a page in the Collaborators category with the properties listed below. This category is used to list people who are part of projects and who serve as co-advisors. Eventually it may also be used to keep track of authors on papers. ==== Required properties ==== {|...")
19:05, 10 December 2022 Murray talk contribs created page Victoria Orphan (Created page with "{{Collaborator |First name=Victoria |Last name=Orphan |Organization=Catlech GPS/BBE |URL=https://orphanlab.caltech.edu |Projects=CEMI Synthetic Biofilms }}")
19:00, 10 December 2022 Murray talk contribs created page Niles Pierce (Created page with "{{Collaborator |First name=Niles |Last name=Pierce |Projects=DARPA BioCon, GBMF PMTI }}")
18:55, 10 December 2022 Murray talk contribs created page Mary Dunlop (Created page with "{{Group member |First name=Mary |Last name=Dunlop |Current position=Alumni |Department=ME |Co-advisor=Michael Elowitz |Previous positions=PhD student }}")
18:47, 10 December 2022 Murray talk contribs created page Property:Organization (Created page with "This is a property of type Has type::Text.")
18:42, 10 December 2022 Murray talk contribs created page Michael Elowitz (Created page with "{{Collaborator |First name=Michael |Last name=Elowitz }}")
18:38, 10 December 2022 Murray talk contribs created page Form:Collaborator
18:38, 10 December 2022 Murray talk contribs created page Category:Collaborators
18:38, 10 December 2022 Murray talk contribs created page Property:Projects (Created a property of type Page)
18:38, 10 December 2022 Murray talk contribs created page Template:Collaborator
15:40, 9 December 2022 Murray talk contribs created page SURF 2023: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines (Created page with "'''2023 SURF project description''' * Mentor: Richard Murray right|300px|frame|Conceptual diagram of an synthetic cell. Synthetic biology focuses on the design and construction of genetically-encoded devices, pathways, networks, and systems that harness some of the capabilities of biology. A major challenge in synthetic biology is learning how to systematically design and implement biomolecular circuits that carry out useful...")
15:39, 9 December 2022 Murray talk contribs created page SURF 2023 (Created page with "{{righttoc}} This page is intended for students interested in working on SURF projects in the Summer of 2023. It contains information about how to apply for a SURF project in my group along with a list of project areas. '''Note:''' Projects will be posted here starting after finals week and up to the start of classes. Please check back after that time for more information. === Applying for a SURF project === Because I get many students interested in doing SURFs in m...")
06:50, 27 November 2022 Murray talk contribs created page CDS 112/Ae 103b (Redirected page to CDS 112/Ae 103b, Winter 2023) Tag: New redirect
06:31, 7 November 2022 Murray talk contribs created page Template:Cds112 wi2023 pdf (Created page with "[[http:www.cds.caltech.edu/~murray/courses/cds112/wi2023/{{{1}}}|{{{2|{{{1}}}}}}]]")
06:30, 7 November 2022 Murray talk contribs created page CDS 112/Ae 103b, Winter 2023 (Created page with "{| width=100% |- | colspan=2 align=center | Optimal Control and Estimation__NOTOC__ |- valign=top | width=50% | '''Instructors''' * Richard Murray (CDS/BE), murray@cds.caltech.edu * Lectures: MWF, 2-3 pm, 213 ANB * Office hours: Wed, 3-3:30 pm (at CDS tea) | width=50% | '''Teaching Assistants''' * TBD * Office hours: TBD |} This is the course homepage for CDS 112 (and Ae 103a), Winter 2023. This course is intended for undergraduates...")
00:21, 22 October 2022 Murray talk contribs created page Minimally Constrained Testing for Autonomy with Temporal Logic Specifications (Created page with "{{Paper |Title=Minimally Constrained Testing for Autonomy with Temporal Logic Specifications |Authors=Apurva Badithela, Josefine Graebener, Richard M. Murray |Source=RSS 2022 Workshop on Envisioning an Infrastructure for Multi-Robot and Collaborative Autonomy Testing and Evaluation |Abstract=In this paper, we study automated test generation for discrete decision-making modules in autonomous systems. First, we consider a subset of Linear Temporal Logic to represent formal...")
14:57, 21 October 2022 Murray talk contribs created page Manos Alexis, Oct 2022 (Created page with "Manos Alexis, a PhD student at Cambridge interested in dynamical systems, control theory, synthetic biology and systems biology will visit our group the week of 24 Oct. You can sign up for a time to meet with him below: === 24 Oct (Mon) === * 9:00 am: Monica Nolasco, 107 Steele Lab * 10:00 am: Richard Murray, 109 Steele Lab * 10:45 am: open * 11:30 am: open * 12:00 pm: Lunch w/ soil syn bio students (tentative) * 1:30 pm: open * 2:15 pm: open * 3:00 pm: open * 3:45 pm...")
15:27, 19 October 2022 User account Atchiang talk contribs was created automatically
05:03, 15 October 2022 Murray talk contribs created page Characterization of Integrase and Excisionase Activity in Cell-free Protein Expression System Using a Modeling and Analysis Pipeline (Created page with "{{Paper |Title=Characterization of Integrase and Excisionase Activity in Cell-free Protein Expression System Using a Modeling and Analysis Pipeline |Authors=Ayush Pandey, Makena L. Rodriguez, William Poole, Richard M. Murray |Source=Submitted, ACS Synthetic Biology, 2022 |Abstract=We present a full-stack modeling, analysis, and parameter identification pipeline to guide the modeling and design of biological systems starting from specifications to circuit implementations...")
04:23, 12 October 2022 Murray talk contribs created page Evaluation Metrics for Object Detection for Autonomous Systems (Created page with "{{Paper |Title=Evaluation Metrics for Object Detection for Autonomous Systems |Authors=Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray |Source=Submitted, 2023 International Conference on Robotics and Automation (ICRA) |Abstract=This paper studies the evaluation of learning- based object detection models in conjunction with model-checking of formal specifications defined on an abstract model of an autonomous system and its environment. In particular, we defin...")
03:47, 11 October 2022 Murray talk contribs created page A Model-Free Algorithm for Extremely Resilient Navigation (Created page with "{{Paper |Title=A Model-Free Algorithm for Extremely Resilient Navigation |Authors=Christian J. Stromberger, Josefine B. Graebener, James F. Ragan, Richard M. Murray |Source=Submitted, 2023 International Conference on Robotics and Automation (ICRA) |Abstract=Due to the increasing complexity of space missions and distance to exploration targets, future robotic systems used for space exploration call for more resilience and autonomy. Instead of minimizing the failure risk,...")
03:42, 11 October 2022 Murray talk contribs created page Josefine B. Graebener (Redirected page to Josefine Graebener) Tag: New redirect
03:42, 11 October 2022 Murray talk contribs created page Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows (Created page with "{{Paper |Title=Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows |Authors=Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray |Source=Submitted, 2023 International Conference on Robotics and Automation (ICRA) |Abstract=We study automated test generation for verifying discrete decision-making modules in autonomous systems. We utilize linear...")
03:31, 11 October 2022 Murray talk contribs created page Metabolic engineering of Pseudomonas putida for production of vanillylamine from lignin-derived substrates (Created page with "{{Paper |Title=Metabolic engineering of Pseudomonas putida for production of vanillylamine from lignin-derived substrates |Authors=João Heitor Colombelli Manfrão-Netto, Fredrik Lund, Nina Muratovska, Elin M. Larsson, Nádia Skorupa Parachin, Magnus Carlquist |Source=Microbial Biotechnology, 14( 6), 2448– 2462, 2021 |Abstract=Whole-cell bioconversion of technical lignins using Pseudomonas putida strains overexpressing amine transaminases (ATAs) has the potential to be...")
03:12, 11 October 2022 Murray talk contribs moved page Template:Paper format to Template:Project paper entry without leaving a redirect
03:10, 11 October 2022 Murray talk contribs created page Template:Paper format (Created page with "{{{1}}}. {{{4}}}. {{{5}}}.")
03:03, 11 October 2022 Murray talk contribs created page John B. McManus (Redirected page to John McManus) Tag: New redirect
02:59, 11 October 2022 Murray talk contribs created page Elin M. Larsson (Redirected page to Elin Larsson) Tag: New redirect
02:59, 11 October 2022 Murray talk contribs created page Construction of an inducible amyloid expression circuit in Bacillus megaterium: A case study with CsgA and TasA (Created page with "{{Paper |Title=Construction of an inducible amyloid expression circuit in Bacillus megaterium: A case study with CsgA and TasA |Authors=Elin M. Larsson, John B. McManus, Richard M. Murray |Source=bioRxiv 858266 |Abstract=Environmental applications of synthetic biology such as water remediation require engineered strains to function robustly in a fluctuating and potentially hostile environment. The construction of synthetic biofilm formation circuits could potentially all...")
05:31, 10 October 2022 Murray talk contribs created page Ioannis Mandralis (Created page with "{{Group member |First name=Ioannis |Last name=Mandralis |Current position=PhD student }}")
05:31, 10 October 2022 Murray talk contribs created page Matthieu Kratz (Created page with "{{Group member |First name=Matthieu |Last name=Matthieu |Current position=PhD student |Department=BE }}")
05:29, 10 October 2022 Murray talk contribs created page Property:Co-advisor (Created page with "This is a property of type Has type::Text.")
05:27, 10 October 2022 Murray talk contribs created page Zach Martinez (Created page with "{{Group member |First name=Zach |Last name=Martinez |Current position=PhD student }}")
05:25, 10 October 2022 Murray talk contribs created page Alex Johnson (Created page with "{{Group member |First name=Alex |Last name=Johnson |Current position=PhD student }}")
05:12, 10 October 2022 Murray talk contribs created page Inigo Incer (Created page with "{{Group member |First name=Inigo |Last name=Incer |Current position=Postdoc |Department=CMS |Current project=AFOSR T&E }}")
05:11, 10 October 2022 Murray talk contribs created page Abhishek Dey (Created page with "{{Group member |First name=Abhishek |Last name=Dey |Current position=Visitor }}")
05:08, 10 October 2022 Murray talk contribs created page Property:Previous projects (Created page with "This is a property of type Has type::Page.")
18:24, 9 October 2022 Murray talk contribs created page David C. Garcia (Redirected page to David Garcia) Tag: New redirect
18:22, 9 October 2022 Murray talk contribs created page Zachary Z. Sun (Redirected page to Zachary Sun) Tag: New redirect
18:21, 9 October 2022 Murray talk contribs created page Andrey S. Shur (Redirected page to Andrey Shur) Tag: New redirect
18:20, 9 October 2022 Murray talk contribs created page Samuel E. Clamons (Redirected page to Samuel Clamons) Tag: New redirect
18:19, 9 October 2022 Murray talk contribs created page Rory L. Williams (Redirected page to Rory Williams) Tag: New redirect
18:18, 9 October 2022 Murray talk contribs created page Xinying Ren (Redirected page to Xinying (Cindy) Ren) Tag: New redirect
18:17, 9 October 2022 Murray talk contribs created page Michaëlle N. Mayalu (Redirected page to Michaelle Mayalu) Tag: New redirect

All public logs

Navigation menu

Page actions

Page actions

Personal tools

Navigation

Search

Tools