List of redirects
From Murray Wiki
Jump to navigationJump to search
Showing below up to 250 results in range #51 to #300.
- Boeing → Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
- Boeing-SoS → Model-Based Design and Qualification of Complex Systems
- Bootcamp → BE 262 project, 2010
- CAGEN → CAGEN: Critical Assessment of Genetically Engineered Networks
- CAGEN: Competitive Assessment of Genetically Engineered Networks → CAGEN: Critical Assessment of Genetically Engineered Networks
- CASE2015 → CASE 2015 Plenary Talk: Specification and Synthesis for Networked Control Systems with Applications to Autonomous Vehicles
- CCC → Cooperative Communications and Control
- CDS110a Requirements before running on Alice → CDS110a before a Field Test
- CDS110b: Stochastic Systems → CDS 110b: Stochastic Systems
- CDS110b Scheduling → Talk:CDS 110b, Winter 2006#Course Schedule
- CDS270-2 → CDS 270-2, Spring 2006
- CDS 101 → CDS 101/110a, Fall 2008
- CDS 101/ → CDS 101/110a
- CDS 101/110 → CDS 101/110, Fall 2015
- CDS 101/110, Fall 2006 - Project Ideas → CDS 101/110a, Fall 2006 - Course Project
- CDS 101/110, Week 10 - Robust Performance → CDS 101/110 - Robust Performance
- CDS 101/110, Week 1 - Introduction to Feedback and Control → CDS 101/110 - Introduction to Feedback and Control
- CDS 101/110, Week 2 - System Modeling → CDS 101/110 - System Modeling
- CDS 101/110, Week 3 - Dynamic Behavior → CDS 101/110 - Dynamic Behavior
- CDS 101/110, Week 4 - Linear Systems → CDS 101/110 - Linear Systems
- CDS 101/110, Week 5 - State Feedback → CDS 101/110 - State Feedback
- CDS 101/110, Week 6 - Transfer Functions → CDS 101/110 - Transfer Functions
- CDS 101/110, Week 7 - Loop Analysis → CDS 101/110 - Loop Analysis
- CDS 101/110, Week 8 - PID Control → CDS 101/110 - PID Control
- CDS 101/110, Week 9 - Loop Shaping → CDS 101/110 - Loop Shaping
- CDS 101/110, Winter 2018 → CDS 110, Winter 2018
- CDS 101/110 - Main Page → CDS 101/110a, Fall 2008
- CDS 101/110a → CDS 101/110a, Fall 2008
- CDS 101/110a - FAW → CDS 101/110a - FAQ
- CDS 101/110a Recitation Schedule, Fall 2006 → CDS 101/110a, Fall 2006 - Recitation Schedule
- CDS 110, Spring 2024 → CDS 110/ChE 105, Spring 2024
- CDS 110, Winter 2018 → CDS 110, Spring 2018
- CDS 110/ChE 105 → CDS 110/ChE 105, Spring 2024
- CDS 110/ChE 130, Spring 2024 → CDS 110/ChE 105, Spring 2024
- CDS 110a Project Ideas → CDS 101/110, Fall 2006 - Project Ideas
- CDS 110a project → CDS 101/110a, Fall 2006 - Course Project
- CDS 110b → CDS 110b, Winter 2008
- CDS 110b:Norms of Signals and Systems → CDS 110b: Norms of Signals and Systems
- CDS 110b:Sensor Fusion → CDS 110b: Sensor Fusion
- CDS 110b: Main Page → CDS 110b, Winter 2008
- CDS 110b: Observability and Estimators → CDS 110b: State Estimation
- CDS 110b: Observers → CDS 110b: Observability and Estimators
- CDS 110b Winter2013 → CDS 110b Winter 2013
- CDS 110b Winter 2013 → CDS 110b, Winter 2013
- CDS 112 → CDS 112/Ae 103b, Winter 2023
- CDS 112/Ae 103a → CDS 112/Ae 103a, Winter 2022
- CDS 112/Ae 103a, Winter 2021 → CDS 112/Ae 103a, Winter 2022
- CDS 112/Ae 103b → CDS 112/Ae 103b, Winter 2023
- CDS 131 → CDS 131, Fall 2020
- CDS 140 → CDS 140, Winter 2015
- CDS 140a → ACM 101b/AM 125b/CDS 140a, Winter 2014
- CDS 140a, Spring 2011 → CDS 140a, Winter 2011
- CDS 140a, Winter 2011 → AM 101b/AM 125b/CDS 140a, Winter 2011
- CDS 140a Winter 2010 → AM 101b/AM 125b/CDS 140a, Winter 2011
- CDS 140b → CDS 140b, Spring 2014
- CDS 202 → CDS 202, Spring 2013
- CDS 212 → CDS 212 Fall 2010
- CDS 240 → CDS 240, Spring 2016
- CDS 240, Spring 2016: HW → CDS 240, Spring 2016: HW 1
- CDS 270-2 → CDS 270-2, Spring 2006
- CDS 273 → CDS 273, Spring 2006
- CDS 90 → CDS 90 2022-23
- CDS 90, 2007-08 → CDS 90, 2008-09
- CDS 90, 2010-11 → CDS 90 2010-11
- CMS 273 → CMS 273, Winter 2021
- CS-EE-ME 75 → CS/EE/ME 75, 2010-11
- CS-EE-ME 75 Advisors → CS/EE/ME 75, 2010-11 - Project Organization#External Advisors
- CS-EE-ME 75 Organization → CS/EE/ME 75, 2010-11 - Project Organization
- CS/EE/ME 75 → CS/EE/ME 75, 2015-16
- CS/EE/ME 75, Fall 2015 → CS/EE/ME 75, 2015-16
- CS/EE/ME 75, Winter 2016 → CS/EE/ME 75, 2015-16
- CS/EE/ME 75 Multi-Disciplinary Systems Engineering → CS/EE/ME 75, 2010-11
- CS 142 → CS 142, Fall 2019
- Caltech Grubstake → Improvement of E. coli transcription-translation (TX-TL) system
- Caltech Verification and Validation Workshop → Caltech Workshop on Verification and Validation
- Cds110 → CDS 110/ChE 105, Spring 2024
- Cds110-projects → CDS 101/110, Fall 2006 - Project Ideas
- Cds110a → CDS 101/110a
- Cds110b → CDS 110b, Winter 2008
- Cds140-bifctrl → CDS 140b: Control of Bifurcations and Limit Cycles
- Cds202 → CDS 202, Winter 2009
- Cds90 → CDS 90, 2007-08
- Chelsea Y. Hu → Chelsea Hu
- Control Theory for Synthetic Biology → Control Theory for Synthetic Biology: Recent Advances in System Characterization, Control Design, and Controller Implementation for Synthetic Biology
- Create new page → SURF 2020 : Modeling tools for design and analysis of synthetic biological circuits
- DARPA ALES → Assurance for Learning Enabled Systems
- DARPA BioCon → Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
- DARPA LF → Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits
- DARPA Living Foundries HR0011-12-C-0065 → Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits
- DENSO CPM → Temporal Logic Specifications for Control System Design in Automotive Systems
- DGC07 Kickoff → 2007 Urban Challenge Summer Kickoff Meeting
- DGC75 Main Page → CS/EE/ME 75 Multi-Disciplinary Systems Engineering
- David C. Garcia → David Garcia
- Deductive Verification of Hybrid Systems → EECI 2013: Deductive Verification of Hybrid Systems
- Design Guidelines For Sequestration Feedback Networks → Guidelines for Designing the Antithetic Feedback Motif
- Directions → Caltech directions
- E/SEC 103 → E/SEC 103, Winter 2025
- EECI08: Main Page → HYCON-EECI, Spring 2008
- EECI09: Distributed Estimation and Control → EECI08: Distributed Estimation and Control
- EECI09: Distributed estimation → EECI09: Distributed estimation and sensor fusion
- EECI09: Distributed protocols → EECI09: Distributed protocols and verification
- EECI09: Future directions → EECI09: Future directions and open problems
- EECI09: Information Systems → EECI09: Information systems
- EECI09: Information systems → EECI09: Review of information theory and communications
- EECI09: Introduction → EECI09: Introduction to Networked Control Systems
- EECI09: Introduction to NCS → EECI09: Introduction to Networked Control Systems
- EECI09: Main Page → HYCON-EECI, Spring 2009
- EECI09: Optimization-based control and embedded programming → EECI09: Optimization-based control
- EECI09: Packet loss → EECI09: Packet loss, delays and shock absorbers
- EECI09: Quantization → EECI09: Quantization and bandwidth limits
- EECI12: Main Page → HYCON-EECI, Spring 2012
- EECI: Case Study - Autonomous Driving → EECI08: Case Study - Autonomous Driving
- EECI: Distributed Estimation and Control → EECI09: Distributed Estimation and Control
- EECI: Distributed Protocols and CCL → EECI08: Distributed Protocols and CCL
- EECI: Embedded Systems Programming → EECI08: Embedded Systems Programming
- EECI: Formation Control in Multi-Agent Systems → EECI08: Formation Control in Multi-Agent Systems
- EECI: Future Directions and Open Problems → EECI08: Future Directions and Open Problems
- EECI: Future Directions in Networked Control Systems → EECI: Future Directions and Open Problems
- EECI: Implementation Examples → EECI08: Implementation Examples
- EECI: Information Flow and Consensus → EECI08: Information Flow and Consensus
- EECI: Introduction to Networked Control Systems → EECI08: Introduction to Networked Control Systems
- EECI: Main Page → EECI-IGSC 2020
- EECI: Optimization-Based Control → EECI08: Optimization-Based Control
- EECI: Packet-Based Estimation and Control → EECI08: Packet-Based Estimation and Control
- EECI: State Estimation and Sensor Fusion → EECI08: State Estimation and Sensor Fusion
- EECI: State Estimation on Lattices → EECI08: State Estimation on Lattices
- EECI: Trajectory Generation and Differential Flatness → EECI08: Trajectory Generation and Differential Flatness
- EECI 2012: Algorithmic Verification → EECI 2012: Algorithmic Verification of Hybrid Systems
- EECI 2012: Deductive Verification → EECI 2012: Deductive Verification of Hybrid Systems
- EECI 2012: Extensions → EECI 2012: Extensions, Applications, Open Questions
- EECI 2012: Introduction → EECI 2012: Introduction: Protocol-Based Control Systems
- EECI 2012: Main Page → HYCON-EECI, Spring 2012
- EECI 2012: Model Checking → EECI 2012: Model Checking and Logic Synthesis
- EECI 2012: Protocol Synthesis → EECI 2012: Synthesis of Reactive Control Protocols
- EECI 2012: RHTLP → EECI 2012: Receding Horizon Temporal Logic Planning
- EECI 2013: Advanced Topcis → EECI 2013: Advanced Topics
- EECI 2013: Algorithmic Verification → EECI 2013: Algorithmic Verification of Hybrid Systems
- EECI 2013: Computer Session: TuliP → EECI 2013: Computer Session: TuLiP
- EECI 2013: Deductive Verification → EECI 2013: Deductive Verification of Hybrid Systems
- EECI 2013: Introduction → EECI 2013: Introduction: Protocol-Based Control Systems
- EECI 2013: Main Page → HYCON-EECI, Spring 2013
- EECI 2013: Model Checking and Logic Synthesis → EECI 2013: Model Checking
- EECI 2013: Protocol Synthesis → EECI 2013: Synthesis of Reactive Control Protocols
- EECI 2013: RHTLP → EECI 2013: Receding Horizon Temporal Logic Planning
- EECI 2013: Summary → EECI 2013: Summary and Open Questions
- EECI 2020: Behaviour Specifications of Autonomous Vehicles → EECI 2020: Behavior Specifications
- EECI 2020: Computer Session: stormpy → EECI 2020: Computer Session: Stormpy
- EECI 2020: Discrete abstractions → EECI 2020: Discrete Abstractions
- EECI 2020: Main Page → EECI-IGSC 2020
- EECI 2020: Probabilistic systems → EECI 2020: Probabilistic Systems
- E 103 → E/SEC 103
- Ed Vipul Model Reduction → Model reduction verification in TXTL, with Edward Hancock
- Eeci-sp12 → HYCON-EECI, Spring 2012
- Eeci-sp13 → HYCON-EECI, Spring 2013
- Elin M. Larsson → Elin Larsson
- Fuzzy logic → What is fuzzy logic?
- GBMF PMTI → Programmable Molecular Technology Initiative
- Group Schedule → Group Schedule, Summer 2025
- Group meetings → 2005-06 Group Meeting Schedule
- HFSP15-txtl → Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks
- HFSP TX-TL → Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks
- ICB08 → Biomolecular Feedback Circuits for Modular, Robust and Rapid Response
- ICB Materials → Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials
- ICB Microbial → Genetic Circuits for Multi-Cellular Machines
- ICB Network19 → Field-Programmable, Recombinase-Based Biomolecular Circuits
- ICB Synthetic Biofilms → Control of Functional Bioenabled Materials using Synthetic Cells
- ICB Synthetic Cell → Design and Implementation of Multi-Component Synthetic Cells
- ICB multi-layer → Multi-Layer, Composable and Programmable Biomolecular Circuits for Microbial Consortia
- ICB synbiofilms → ICB Synthetic Biofilms
- ICyPhy → ICyPhy: Industrial Cyber-Physical Systems
- IDS → Information and Decision Systems
- IFAC 2014 → IFAC 2014 Plenary Talk: Specification, Verification and Synthesis for Networked Control Systems
- IGERT → 2010 IGERT Proposal
- Ill the Matlab tutorial give me the sufficient knowledge in order to solve Problems 2 and 4? → Will the Matlab tutorial give me the sufficient knowledge in order to solve Problems 2 and 4?
- In problem 1 (CDS 110)/problem 2 (CDS 101), download cruise\ ctrl.mdl, NOT cruisedyn.m → In problem 1 (CDS 110)/problem 2 (CDS 101), download cruise ctrl.mdl, NOT cruisedyn.m
- In problem 1 (CDS 110)/problem 2 (CDS 101), download cruise ctrl.mdl, NOT cruisedyn.m → In problem 1 (CDS 110)/problem 2 (CDS 101), download cruise-ctrl.mdl, NOT cruisedyn.m
- In silico-biological control of bacterial activity in composite materials using Scalable Assembly Processes → In silico-biological control of bacterial activity in composite materials using scalable assembly processes
- In silico-biological control of bacterial activity in composite materials using scalable assembly processes → Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials
- JPL CIF17 → Synthesizing flight software (FSW) discrete controllers from formal specifications
- JPL FSW → Synthesizing flight software (FSW) discrete controllers from formal specifications
- JPL PDF17 → Safety-Critical Autonomy and Verification for Space Missions
- Jkl → The homework set took 15 hours and it is not my only priority!
- John B. McManus → John McManus
- John P. Marken → John Marken
- Josefine B. Graebener → Josefine Graebener
- KISS RSS → Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments
- Karena X. Cai → Karena Cai
- LVP Reading Group → LVP Discussion Group
- Leopold N. Green → Leopold Green
- ME/CS 132a → ME/CS 132a, Winter 2015
- ME/CS 132a, Winter 2010, Lab 1 → ME/CS 132a, Winter 2011, Lab 1
- ME/CS 132a, Winter 2010, Lab 1 Sign-Up → ME/CS 132a, Winter 2011, Lab 1 Sign-Up
- MLS94 second edition → MLS second edition
- MVWT Main Page → Caltech Multi-Vehicle Wireless Testbed
- MVWT Meeting 2004-06-16 → MVWT Meeting 2004-06-17
- Matlab tutorial and homework → Ill the Matlab tutorial give me the sufficient knowledge in order to solve Problems 2 and 4?
- Methods for determining errors in a real system → What are methods for determining errors in a real system?
- Michaëlle N. Mayalu → Michaelle Mayalu
- Missing parameters in hw4 p2 → Problem 2 -- Missing parameter
- Model-guided Discovery and Optimization of Navy-relevant Cell-based Sensors → Model-guided Discovery and Optimization of Cell-based Sensors
- Mpp → Molecular Programming Project
- Multi-Scale Systems Center (MuSyC) → Distributed Sense and Control Systems
- Mvwt → MVWT
- Mvwtfest → MVWTfest January 2007
- NCS: Case Study - Autonomous Driving → EECI: Case Study - Autonomous Driving
- NCS: Distributed Estimation and Control → EECI08: Distributed Estimation and Control
- NCS: Embedded Systems Programming → EECI: Embedded Systems Programming
- NCS: Information Flow and Consensus → EECI: Information Flow and Consensus
- NCS: Introduction → NCS: Introduction to Networked Control Systems
- NCS: Introduction to Networked Control Systems → EECI: Introduction to Networked Control Systems
- NCS: Main Page → EECI: Main Page
- NCS: Optimization-Based Control → EECI: Optimization-Based Control
- NCS: Packet-Based Estimation and Control → EECI: Packet-Based Estimation and Control
- NCS: State Estimation and Sensor Fusion → EECI: State Estimation and Sensor Fusion
- NCS: Trajectory Generation and Differential Flatness → EECI: Trajectory Generation and Differential Flatness
- NCS Book → Networked Sensing, Estimation and Control Systems
- NCS course → HYCON-EECI, Spring 2012
- NIH U19 → A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior
- NME13/Dynamical systems → NME130/Dynamical systems
- NSF09-cps → Control Design for Cyberphysical Systems Using Slow Computing
- NSF Cell Free → Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways
- NSF EAGER → Actuation of Synthetic Cells Via Proto-Flagellar Motors
- NSF Expeditions, 2007-2012 → NSF Expeditions, 2008-2012
- NSF MPP → Molecular Programming Project
- NSF MPP2 → Molecular Programming Architectures, Abstractions, Algorithms, and Applications
- NSF T&E → Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
- NSF VeHICaL → VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
- NSF VeHiCal → VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
- Ncs-sp08 → HYCON-EECI, Spring 2008
- Ncs book → Networked Sensing, Estimation and Control Systems
- Ncsbook → Networked Sensing, Estimation and Control Systems
- Network Science and Engineering: A theory of network architecture → Network Science and Engineering: A Theory of Network Architecture
- Nsf09-cps → Control Design for Cyberphysical Systems Using Slow Computing
- ONR MURI → Model-guided Discovery and Optimization of Cell-based Sensors
- Papers → Preprint archive
- Phasplot → Phaseplot
- Problem 4 (c) -- Errata → Problem 3 (c) -- Errata
- Problem 4 -- Use equations in book errata. → Problem 2 -- Use equations in book errata.
- Protocol Synthesis (Boeing) → Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
- Python-control → Control Systems Library for Python
- REGIS, Dec 2019 → Registration meetings, Dec 2019
- RSI Soil Syn Bio → An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil
- Registration meetings, Dec 2019 → UG meetings, Dec 2019
- Reviewing → How to review a technical paper
- Robot Motion Planning with Complex Tasks → SURF 2013: Robot Motion Planning with Complex Tasks
- Role of Delays in Biological Processes → SURF 2013: Role of Delays in Biological Processes
- Role of communication network topology in controlling microbial population in consortia → Role of interaction network topology in controlling microbial population in consortia
- Rory L. Williams → Rory Williams
- Rosen Simple Cell → Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function
- Roy Fox, Sep 2014 → Roy Fox, Oct 2014
