@other{https://resolver.caltech.edu/CaltechCDSTR:2016.004, title = "Formalizing synthesis in TLA+", publisher = "Caltech Library", url = "https://resolver.caltech.edu/CaltechCDSTR:2016.004", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2016.003, title = "Symbolic construction of GR(1) contracts for systems with full information", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2016.003", id = "record", doi = "10.1109/ACC.2016.7525009" } @other{https://resolver.caltech.edu/CaltechCDSTR:2016.002, title = "Simultaneous Model Identification and Task Satisfaction in the Presence of Temporal Logic Constraints", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2016.002", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2016.001, title = "Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2016.001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2015.005, title = "Time-annotated game graphs for synthesis from abstracted systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2015.005", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2015.004, title = "Revisiting the AMBA AHB bus case study", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2015.004", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2015.003, title = "Synthesis from multi-paradigm specifications", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2015.003", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2015.002, title = "Cross-entropy Temporal Logic Motion Planning", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2015.002", id = "record", doi = "10.1145/2728606.2728635" } @other{https://resolver.caltech.edu/CaltechCDSTR:2015.001, title = "Online Horizon Selection in Receding Horizon Temporal Logic Planning", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2015.001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2014.001, title = "Hot-swapping robot task goals in reactive formal synthesis", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2014.001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2012.007, title = "Evaluation and Benchmarking for Robot Motion Planning Problems Using TuLiP", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2012.007", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2013.001, title = "Optimal Control of Mixed Logical Dynamical Systems with Long-Term Temporal Logic Specifications", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2013.001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2012.004, title = "Motion planning in observations space with learned diffeomorphism models", publisher = "Caltech Library", url = "https://resolver.caltech.edu/CaltechCDSTR:2012.004", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2012.003, title = "Patching task-level robot controllers based on a local µ-calculus formula", publisher = "Caltech Library", url = "https://resolver.caltech.edu/CaltechCDSTR:2012.003", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2012.001, title = "Swing Dynamics as Primal-Dual Algorithm for Optimal Load Control", publisher = "Caltech Library", url = "https://resolver.caltech.edu/CaltechCDSTR:2012.001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2011.011, title = "Stochastic Distributed Protocol for Electric Vehicle Charging with Discrete Charging Rate", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2011.011", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2011.010, title = "Fast Load Control with Stochastic Frequency Measurement", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2011.010", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2011.009, title = "Optimal Decentralized Protocols for Electric Vehicle Charging", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2011.009", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2011.008, title = "Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2011.008", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2011.007, title = "Frequency-based load control in power systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2011.007", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2011.006, title = "Synthesis of Switching Protocols from Temporal Logic Specifications", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2011.006", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2011.004, title = "Bootstrapping, uncertain semantics, and invariance", publisher = "Caltech", url = "https://resolver.caltech.edu/CaltechCDSTR:2011.004", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2011.005, title = "A group-theoretic approach to formalizing bootstrapping problems", publisher = "Caltech", url = "https://resolver.caltech.edu/CaltechCDSTR:2011.005", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2011.002, title = "Dense map inference with user-defined priors: from priorlets to scan eigenvariations", publisher = "Caltech", url = "https://resolver.caltech.edu/CaltechCDSTR:2011.002", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2010.003a, title = "Bootstrapping bilinear models of robotic sensorimotor cascades", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2010.003a", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2010.005, title = "Decentralized Implementation of Centralized Controllers for Interconnected Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2010.005", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2010.004, title = "Zero Duality Gap in Optimal Power Flow Problem", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2010.004", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2010.002, title = "Delay-Based Controller Design for Continuous-Time and Hybrid Applications", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2010.002", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2010.001, title = "A bio-plausible design for visual pose stabilization", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2010.001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2009.001, title = "Limits on the Network Sensitivity Function for Multi-Agent Systems on a Graph", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2009.001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2008.003, title = "Periodically Controlled Hybrid Systems: Verifying A Controller for An Autonomous Vehicle", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2008.003", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2008.002, title = "Stability of Zeno Equilibria in Lagrangian Hybrid Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2008.002", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1997.007, title = "A stability criterion for systems with neutrally stable modes and deadzone nonlinearities", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1997.007", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.019, title = "Adaptive ℋ∞-control for nonlinear systems: a dissipation theoretical approach", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.019", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2007.001, title = "Conversion and verification procedure for goal-based control programs", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2007.001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.028, title = "Robust Control of Systems Subject to Contraints", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.028", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2006.004, title = "Rate Control for Multicast with Network Coding", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2006.004", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.002, title = "Attenuation of Persistent L∞-Bounded Disturbances for Nonlinear Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.002", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.010, title = "A State-Space Approach to Robustness Analysis and Synthesis for Nonlinear Uncertain Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.010", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.009, title = "A State-Space Approach to Parametrization of Stabilizing Controllers for Nonlinear Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.009", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.008, title = "H∞ Control of Nonlinear Systems: A Class of Controllers", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.008", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.021, title = "Recursive Motion Estimation on the Essential Manifold", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.021", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.014, title = "Stabilization of Linear Systems with Structured Perturbations", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.014", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.020, title = "H∞ Control of Nonlinear Systems: A Convex Characterization", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.020", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2006.001, title = "Verification of an Autonomous Reliable Wingman using CCL", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2006.001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2004.008, title = "On a stochastic sensor selection algorithm with applications in sensor scheduling and sensor coverage", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2004.008", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2004.006, title = "A Sub-optimal Algorithm to Synthesize Control Laws for a Network of Dynamic Agents", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2004.006", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2004.007, title = "Optimal LQG Control Across a Packet-Dropping Link", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2004.007", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2004.005, title = "Flocking for Multi-Agent Dynamic Systems: Algorithms and Theory", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2004.005", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2004.004, title = {Technological and Economic Drivers and Constraints in the Internet's "Last Mile"}, publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2004.004", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2004.003, title = "Distributed Receding Horizon Control with Application to Multi-Vehicle Formation Stabilization", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2004.003", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2003.013, title = "Decentralized Analysis of Stability of Stochastically Varying Formations of Dynamic Agents.", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2003.013", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2003.008, title = "Flat systems, equivalence and trajectory generation", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2003.008", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2003.005, title = "Agreement Problems in Networks with Directed Graphs and Switching Topology", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2003.005", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2003.002, title = "Feedback Controlled Software Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2003.002", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2003.006, title = "Flocking with Obstacle Avoidance", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2003.006", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2003.014, title = "A Unified Analytical Look at Reynolds Flocking Rules", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2003.014", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2003.012, title = "Information Flow and Cooperative Control of Vehicle Formations", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2003.012", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2003.001, title = "Vehicle Motion Planning Using Stream Functions", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2003.001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-94-006, title = "Differential Flatness and Absolute Equivalence", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-94-006", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2001.011, title = "ℒ2-Gain of Double Integrators with Saturation Nonlinearity", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2001.011", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2001.01-007, title = "Graph Laplacians and Stabilization of Vehicle Formations", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2001.01-007", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:2000.001, title = "Heavy-Tailed Distributions, Generalized Source Coding and Optimal Web Layout Design", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:2000.001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1999.CIT-CDS-99-001, title = "Geometric Approaches to Control in the Presence of Magnitude and Rate Saturations", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1999.CIT-CDS-99-001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1998.CIT-CDS-98-009, title = "Discrete Function Approximation: Numerical Tools for Nonlinear Control", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1998.CIT-CDS-98-009", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1998.CIT-CDS-98-001, title = "Evaluation of Bleed Valve Rate Requirements in Nonlinear Control of Rotating Stall on Axial Flow Compressors", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1998.CIT-CDS-98-001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1997.014, title = "Nonlinear Rescaling of Control Laws with Application to Stabilization in the Presence of Magnitude Saturation", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1997.014", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1997.011, title = "Robotic manipulation with flexible link fingers", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1997.011", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1997.010, title = "The Energy-Momentum Method for the Stability of Nonholonomic Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1997.010", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1997.009, title = "Robot autonomous navigation", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1997.009", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1997.008, title = "Differentially flat nonlinear control systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1997.008", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1997.004, title = "Solving the Optimal Mistuning Problem by Symmetry: A General Framework for Extending Flutter Boundaries in Turbomachines via Mistuning", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1997.004", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1997.CIT-CDS-96-017, title = "Real Time Trajectory Generation for Differentially Flat Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1997.CIT-CDS-96-017", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1997.001, title = "Finite Receding Horizon Linear Quadratic Control: A Unifying Theory for Stability and Performance Analysis", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1997.001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1997.CIT-CDS-97-003, title = "Tracking for Fully Actuated Mechanical Systems: A Geometric Framework", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1997.CIT-CDS-97-003", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1997.CIT-CDS-97-012, title = "System Identification for Limit Cycling Systems: A Case Study for Combustion Instabilities", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1997.CIT-CDS-97-012", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.021, title = "Constrained nonlinear optimal control: a converse HJB approach", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.021", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.022, title = "Optimality of nonlinear design techniques: A converse HJB approach", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.022", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.020, title = "The Hamiltonian and Lagrangian approaches to the dynamics of nonholonomic systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.020", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.018, title = "Configuration Flatness of Lagrangian Systems Underactuated by One Control", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.018", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.014, title = "Nonlinear Control and Modeling of Rotating Stall in an Axial Flow Compressor", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.014", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.013, title = "Mechanical integrators derived from a discrete variational principle", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.013", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.012, title = "Multiplier theory for stability analysis of anti-windup control systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.012", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.009, title = "The Caltech helicopter control experiment", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.009", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.011, title = "Trajectory generation for nonlinear control systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.011", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.008, title = "Hamiltonian G-Spaces with regular momenta", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.008", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.010, title = "Sets and Constraints in the Analysis Of Uncertain Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.010", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.005, title = "Necessary and sufficient conditions for robust gain scheduling", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.005", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.004, title = "Generalized ℓ2 synthesis", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.004", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.003, title = "A Symmetric Product for Vector Fields and its Geometric Meaning", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.003", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.001, title = {Reducing "Structure From Motion": a General Framework for Dynamic Vision - Part 1: Modeling}, publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.002, title = {Reducing "Structure From Motion": a General Framework for Dynamic Vision - Part 2: Experimental Evaluation}, publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.002", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-96-006, title = "Configuration Flatness of Lagrangian Systems Underactuated by One Control", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-96-006", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-96-015, title = "An Experimental Comparison of Tradeoffs in Using Compliant Manipulators for Robotic Grasping Tasks", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-96-015", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-96-007, title = "Decomposition for Control Systems on Manifolds with an Affine Connection", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-96-007", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-95-029, title = "Active Control of an Axial Flow Compressor via Pulsed Air Injection", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-95-029", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.033, title = "Hamiltonian G-Spaces with Regular Momenta", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.033", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.031, title = "Robust ℋ2 Performance: Guaranteeing Margins for LQG Regulators", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.031", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.030, title = "H-Infinity Optimal Interconnections", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.030", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.027, title = "The Mechanics and Control of Undulatory Robotic Locomotion", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.027", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.023, title = "A Set-Based Methodology for White Noise Modeling", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.023", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.026, title = "ℋ∞ optimization with spatial constraints", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.026", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.024, title = "Robust Stability Under Mixed Time Varying, Time Invariant and Parametric Uncertainty", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.024", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.022, title = "Optimal Control for Holonomic and Nonholonomic Mechanical Systems with Symmetry and Lagrangian Reductions", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.022", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.021, title = "Pattern Evocation and Geometric Phases in Mechanical Systems with Symmetry", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.021", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.020, title = "LMI approach to mixed performance objective controllers: application to Robust ℋ2 Synthesis", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.020", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.018, title = "A Test for Differential Flatness by Reduction to Single Input Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.018", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.019, title = "The Whirling Blade and the Steaming Cauldron", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.019", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.014, title = "The Geometry of the Gibbs-Appell Equations and Gauss' Principle of Least Constraint", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.014", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.013, title = "A Bound on the Number of Integrators Needed to Linearize a Two-input Control System", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.013", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.016, title = "Multiple Steady States in Distillation", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.016", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.017, title = "Aspects of Geometric Mechanics and Control of Mechanical Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.017", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.011, title = "Robust Constrained Model Predictive Control using Linear Matrix Inequalities", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.011", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.008, title = "Depth from Brightness of Moving Images", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.008", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.007, title = "Performance Monitoring of Control Systems using Likelihood Methods", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.007", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.009, title = {Motion from "X" by Compensating "Y"}, publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.009", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.006, title = "Motion from Fixation", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.006", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.004, title = "Linear Parameter-Varying Control of a Ducted Fan Engine", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.004", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-025, title = "A Homotopy Algorithm for Approximating Geometric Distributions by Integrable Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-025", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-015, title = "Configuration Controllability of Simple Mechanical Control Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-015", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-94-013, title = "Nonholonomic Mechanical Systems with Symmetry", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-94-013", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-032, title = "Numerically Efficient Robustness Analysis of Trajectory Tracking for Nonlinear Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-032", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-005, title = "Control on the Sphere and Reduced Attitude Stabilization", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-005", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-010, title = "Proportional Derivative (PD) Control on the Euclidean Group", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-010", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.001, title = "Optimal Linear Parameter-Varying Control Design for a Pressurized Water Reactors", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-012, title = "Exponential Stabilization of Driftless Nonlinear Control Systems using Homogeneous Feedback", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-012", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1995.003, title = "Exponential Stabilization of Driftless Nonlinear Control Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1995.003", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.018-2, title = "Analysis of Implicit Uncertain Systems. Part II: Constant Matrix Problems and Application to Robust H2 Analysis", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.018-2", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.018-1, title = "Analysis of Implicit Uncertain Systems. Part I: Theoretical Framework", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.018-1", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.017, title = "Model Reduction of Multi-Dimensional and Uncertain Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.017", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.012, title = "Multiple Steady States in Heterogeneous Azeotropic Distillation", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.012", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.011, title = "On the Exact Linearization of Structure From Motion", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.011", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.008, title = "Optimal and Robust Design of Integrated Control and Diagnostic Modules", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.008", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.001, title = "Observability/Identifiability of Rigid Motion under Perspective Projection", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.001", id = "record", doi = "10.1109/CDC.1994.411638" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.005, title = "Robust and Efficient Recovery of Rigid Motion from Subspace Constraints Solved using Recursive Identification of Nonlinear Implicit Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.005", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.007, title = "Design and Operational Modifications to Model IV FCCUs to Improve Dynamic Performance", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.007", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.004, title = "Dynamic Estimation of Rigid Motion from Perspective Views via Recursive Identification of Exterior Differential Systems with Parameters on a Topological Manifold", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.004", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.003, title = "Recursive Estimation of Camera Motion from Uncalibrated Image Sequences", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.003", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.022, title = "Three Dimensional Transparent Structure Segmentation and Multiple 3D Motion Estimation from Monocular Perspective Image Sequences", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.022", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.002, title = "Estimation of Cross Directional Properties: Scanning versus Stationary Sensors", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.002", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.023, title = "Constrained Stabilization of Discrete-Time Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.023", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.025, title = "Stability of Model Predictive Control with Soft Constraints", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.025", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.CIT-CDS-94-016, title = "Variational Principles for Constrained Systems: Theory and Experiment", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.CIT-CDS-94-016", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.CIT-CDS-94-014, title = "Geometric Phases and Robotic Locomotion", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.CIT-CDS-94-014", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1994.015, title = "White Noise Rejection in a Deterministic Setting", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1994.015", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.024, title = "Model Predictive Control: Multivariable Control Technique of Choice in the 1990s?", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.024", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.017, title = "Set Descriptions of White Noise and Worst Case Induced Norms", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.017", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.019, title = "Interconnection of Uncertain Behavioral Systems for Robust Control", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.019", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.018, title = "Uncertain Behavior", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.018", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.015, title = "The Rank One Mixed μ Problem and 'Kharitonov-Type' Analysis", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.015", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.016, title = "Controller Design with Real Parametric Uncertainty", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.016", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.012, title = "Robust Control Structure Selection", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.012", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.010, title = "Robust Loopshaping for Process Control", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.010", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.011, title = "A Unified Framework for the Study of Anti-Windup Designs", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.011", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.009, title = "Stability and Performance Analysis of Systems Under Constraints", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.009", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.006, title = "Significance Regression: Robust Regression for Collinear Data", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.006", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.002, title = "Significance Regression: A Statistical Approach to Biased Linear Regression and Partial Least Squares", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.002", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.007, title = "Anti-Windup Design for Internal Model Control", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.007", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.005, title = "Computational Complexity of μ Calculation", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.005", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.004, title = "Significance Regression: Improved Estimation from Collinear Data for the Measurement Error Model", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.004", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.003, title = "PLS Leads to Different Algorithms for Factor Analysis and Regression", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.003", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1993.001, title = "Multiple Steady States in Homogeneous Azeotropic Distillation", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1993.001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1997.002, title = "Constrained Finite Receding Horizon Linear Quadratic Control", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1997.002", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1992.003, title = "State-Space Interpretation of Model Predictive Control", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1992.003", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1992.002, title = "Nilpotent Bases for a Class of Non-Integrable Distributions with Applications to Trajectory Generation for Nonholonomic Systems", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1992.002", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1992.001, title = "Let's Get Real", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1992.001", id = "record" } @other{https://resolver.caltech.edu/CaltechCDSTR:1992.004, title = "Avery Final Report: Identification and Cross-Directional Control of Coating Processes", publisher = "California Institute of Technology", url = "https://resolver.caltech.edu/CaltechCDSTR:1992.004", id = "record" }