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).

• 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 <b>Main Idea:</b> Engineering a synthetic cell that can be infected by a natural virus. === Introduction === Viruses are abundant (~10³¹), 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 | <font color='blue' size='+2'>Management of Technology</font>__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...")