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.

View ( | ) (20 | 50 | 100 | 250 | 500)

  1. Extending Exponential Stabilizers for Nonholonomic Systems from Kinematic Controllers to Dynamic Controllers
  2. Extremal Properties of Complex Networks
  3. Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
  4. Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty
  5. Fall 2006 Meeting Schedule
  6. Fall 2007 Meeting Schedule
  7. Fall 2008 Meeting Schedule
  8. Fast Automatic Verification of Large-Scale Systems with Lookup Tables
  9. Fast Mode Switching for a Thrust Vectored Aircraft
  10. Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape
  11. Fault-Tolerant Controller Design with Applications in Power Systems and Synthetic Biology
  12. Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades
  13. Feasible Trajectories of Linear Dynamic Systems with Inequality Constraints Using Higher-Order Representations
  14. Feb/Mar 2012 Meetings
  15. Feb 2009 meetings
  16. Feb 2010 schedule
  17. Feedback Stabilization of Steady-State and Hopf Bifurcations
  18. Feedback Stabilization of Steady-State and Hopf Bifurcations: the Multi-input Case
  19. Feedback architectures to regulate flux of components in artificial gene networks
  20. Field-Programmable, Recombinase-Based Biomolecular Circuits
  21. Finding stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively
  22. Finite-Horizon Optimal Control and Stabilization of Time-Scalable Systems
  23. Flat systems, equivalence and trajectory generation
  24. Flight control in a flapping-wing fruit fly simulator
  25. Flight dynamics and control of evasive maneuvers: the fruit fly's takeoff
  26. Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
  27. Flow cytometry software
  28. Flydra Localization System
  29. For problem 1, how detailed should my description of a control system be?
  30. For problem 1a, is u=-bPx a type-o?
  31. Formal Methods for V&V and T&E of Autonomous Systems
  32. Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
  33. Formal Verification of an Autonomous Vehicle System
  34. Frank Bernhard, April 2016
  35. Frequency-Weighted Model Reduction with Applications to Structured Models
  36. Friday lectures for 101 students
  37. From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology
  38. Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology
  39. Funding
  40. Future Directions in Control, Dynamics, and Systems: Overview, Grand Challenges, and New Courses
  41. Future Directions in Control in an Information-Rich World
  42. GOTChA Chart
  43. Gabor Orosz, Feb 2009
  44. Gabor Orosz, Feb 2012
  45. Gabor Orosz May 2007
  46. Gabor Stepan, 30 May 2017
  47. Genetic Circuits for Multi-Cellular Machines
  48. Geoffroy Le Courtois Du Manoir
  49. Geometric Approaches to Control in the Presence of Magnitude and Rate Saturations
  50. Geometric Control of Particle Manipulation in a Two-Dimensional Fluid

View ( | ) (20 | 50 | 100 | 250 | 500)