Pages without language links
From Murray Wiki
Jump to navigationJump to search
The following pages do not link to other language versions.
Showing below up to 50 results in range #691 to #740.
- Extending Exponential Stabilizers for Nonholonomic Systems from Kinematic Controllers to Dynamic Controllers
- Extremal Properties of Complex Networks
- Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
- Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty
- Fall 2006 Meeting Schedule
- Fall 2007 Meeting Schedule
- Fall 2008 Meeting Schedule
- Fast Automatic Verification of Large-Scale Systems with Lookup Tables
- Fast Mode Switching for a Thrust Vectored Aircraft
- Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape
- Fault-Tolerant Controller Design with Applications in Power Systems and Synthetic Biology
- Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades
- Feasible Trajectories of Linear Dynamic Systems with Inequality Constraints Using Higher-Order Representations
- Feb/Mar 2012 Meetings
- Feb 2009 meetings
- Feb 2010 schedule
- Feedback Stabilization of Steady-State and Hopf Bifurcations
- Feedback Stabilization of Steady-State and Hopf Bifurcations: the Multi-input Case
- Feedback architectures to regulate flux of components in artificial gene networks
- Field-Programmable, Recombinase-Based Biomolecular Circuits
- Finding stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively
- Finite-Horizon Optimal Control and Stabilization of Time-Scalable Systems
- Flat systems, equivalence and trajectory generation
- Flight control in a flapping-wing fruit fly simulator
- Flight dynamics and control of evasive maneuvers: the fruit fly's takeoff
- Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
- Flow cytometry software
- Flydra Localization System
- For problem 1, how detailed should my description of a control system be?
- For problem 1a, is u=-bPx a type-o?
- Formal Methods for V&V and T&E of Autonomous Systems
- Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
- Formal Verification of an Autonomous Vehicle System
- Frank Bernhard, April 2016
- Frequency-Weighted Model Reduction with Applications to Structured Models
- Friday lectures for 101 students
- From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology
- Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology
- Funding
- Future Directions in Control, Dynamics, and Systems: Overview, Grand Challenges, and New Courses
- Future Directions in Control in an Information-Rich World
- GOTChA Chart
- Gabor Orosz, Feb 2009
- Gabor Orosz, Feb 2012
- Gabor Orosz May 2007
- Gabor Stepan, 30 May 2017
- Genetic Circuits for Multi-Cellular Machines
- Geoffroy Le Courtois Du Manoir
- Geometric Approaches to Control in the Presence of Magnitude and Rate Saturations
- Geometric Control of Particle Manipulation in a Two-Dimensional Fluid