Pages with the most revisions
From Murray Wiki
Jump to navigationJump to search
Showing below up to 50 results in range #1,151 to #1,200.
- Do we have to bring our laptop with Matlab installed for Friday's Matlab tutorial? (2 revisions)
- Do we have to consider complex states when trying to find equilibrium points analytically? (2 revisions)
- Does my Simulink model need to change gears? (2 revisions)
- EECI 2012: Hybrid Systems Verification (2 revisions)
- EECI 2013: Temporal Logic (2 revisions)
- EECI 2020: Reactive Synthesis (2 revisions)
- Efficient local validation of partially ordered models via Baysian directed sampling (2 revisions)
- End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks (2 revisions)
- Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor (2 revisions)
- Ersin Das (2 revisions)
- Estimation over Communication Networks: Performance Bounds and Achievability Results (2 revisions)
- Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications (2 revisions)
- Friday lectures for 101 students (2 revisions)
- Guest Lecture, CDS 140B, Spring 2011 (2 revisions)
- HW4 Prob 4c Correction (2 revisions)
- HW 7 Prob 3 Hint (2 revisions)
- HW 7 problem 4 (2 revisions)
- HYCON-EECI, Spring 2011 (2 revisions)
- Hot-swapping robot task goals in reactive formal synthesis (2 revisions)
- How do I evaluate a certain transfer function at desired frequencies numerically? (2 revisions)
- How do I save the mp3 files? (2 revisions)
- How do we use Matlab? (2 revisions)
- How does feedback help the X-29 experimental aircraft? (2 revisions)
- How is the slope of the gain curve related to robustness? (2 revisions)
- How to model DNA replication in stochastic models of synthetic genetic circuits (and why) (2 revisions)
- How would you make the dynamics in the cruise control example more realistic? (2 revisions)
- Hw6 ex3.b - setting the velocities (2 revisions)
- Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications (2 revisions)
- Image gallery (2 revisions)
- Impact of Chemical Dynamics of Commercial PURE Systems on Malachite Green Aptamer Fluorescence (2 revisions)
- In Problem 2b what does Mp mean? (2 revisions)
- In Wed's lecture slide no.13, why does the block "Drag Aerodynamics" connected to the summation and to the vision system? (2 revisions)
- In slide 12, what is special about the red cycle as opposed to the blue curves? (2 revisions)
- In slide 9, why did you only linearize around the downward equilibrium point? (2 revisions)
- Information Flow and Cooperative Control of Vehicle Formations (2 revisions)
- Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications (2 revisions)
- Intermediate steps in block diagram algebra for the Engine Control of a GM Astro example? (2 revisions)
- Invariant Sets for Integrators and Quadrotor Obstacle Avoidance (2 revisions)
- Inverse Abstraction of Neural Networks Using Symbolic Interpolation (2 revisions)
- Is a high gain good in the speed control example? (2 revisions)
- JPL SR&D15 (2 revisions)
- Johan Thunberg, Dec 2014 (2 revisions)
- John Doyle (2 revisions)
- Jonathan Feldstein (2 revisions)
- Katie Galloway, Apr 2024 (2 revisions)
- Layered Feedback Control Improves Robust Functionality across Heterogeneous Cell Populations (2 revisions)
- Learning-Based Abstractions for Nonlinear Constraint Solving (2 revisions)
- Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data (2 revisions)
- ME/CS 132a, Winter 2010 (2 revisions)
- ME/CS 132a, Winter 2010, Lab 1 FAQ (2 revisions)
