We consider stability analysis and state feedback synthesis for Linear Parameter Varying (LPV) systems. LPV systems are de"ned as linear systems whose dynamics depend on exog...
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
We consider impulsive systems with several reset maps triggered by independent renewal processes, i.e., the intervals between jumps associated with a given reset map are identicall...
- This paper presents a learning approach using cerebellar model articulation controller (CMAC) to accommodate faults for a class of multivariable nonlinear systems. A CMAC is prop...
Chih-Min Lin, Chang-Chih Chung, Yu-Ju Liu, Daniel ...
We consider the formulation and analysis of a problem of automatic control: correcting for the distortion induced in an optical wave front due to propagation through a turbulent a...
Eric W. Justh, P. S. Krishnaprasad, M. A. Vorontso...