Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Optimal Control of Nonlinear Systems with Temporal Logic Specifications
Control of Systems Integrating Logic, Dynamics, and Constraints
Observer-Based Adaptive Neural Network Control for Nonlinear Stochastic Systems With Time Delay
Shortest paths for the reeds-shepp car: a worked out example of the use of geometric techniques in nonlinear optimal control
Parametric Optimization for Practical Control Systems Design
First- and Second-Order Optimality Conditions for a Class of Optimal Control Problems with Quasilinear Elliptic Equations
Optimization and stabilization of trajectories for constrained dynamical systems
Dynamic Programming and Optimal Control: 2nd Edi-tion
correct , reactive robot control from abstraction and temporal logic specifications .
The Temporal Logic of Reactive and Concurrent Systems
Model predictive path-following for constrained nonlinear systems
Benchmarks for Temporal Logic Requirements for Automotive Systems
An Automata-Theoretic Approach to Linear Temporal Logic
Feedback Control Of Dynamic Systems
An approach to fuzzy control of nonlinear systems: stability and design issues
Deception in Optimal Control
Dynamic Programming and Optimal Control Volume 1 SECOND EDITION
Switched Linear Systems: Control and Design
Robust control and H∞-optimization - Tutorial paper
Path Integral Control and State Dependent Feedback
Nonlinear and Adaptive Control of Complex Systems
Transcranial alternating current stimulation (tACS)
Vector Processors for Energy-Efficient Embedded Systems
Introduction to Algorithms, Second Edition
Motor Imagery EEG Classification for Patients with Amyotrophic Lateral Sclerosis Using Fractal Dimension and Fisher’s Criterion-Based Channel Selection
A ligand-specific blockade of the integrin Mac-1 selectively targets pathologic inflammation while maintaining protective host-defense