Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 7 of 7 for “"parameterized systems"”.
-
Parameter estimation in nonlinearly parameterized systems
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1998.
-
Parameter estimation and control of nonlinearly parameterized systems
Parameter estimation in nonlinear systems is an important issue in measurement, diagnosis and modeling. The goal is to find a differentiator free on-line adaptive estimation algorithm which can estimate the internal unknown parameters of dynamic systems using its inputs and outputs. This thesis …
-
Global parameter identification and control of nonlinearly parameterized systems
Nonlinearly parameterized (NLP) systems are ubiquitous in nature and many fields of science and engineering. Despite the wide and diverse range of applications, there exist relatively few results in control systems literature which exploit the structure of the nonlinear parameterization. A vast …
-
Predicate Diagrams as Basis for the Verification of Reactive Systems
… for verifying temporal properties of reactive systems. Diagrams integrate deductive and algorithmic verification techniques for the verification of finite and infinite-state systems, thus combining the expressive power and flexibility of deduction with the automation provided by algorithmic …
-
Adaptive Identification of Nonlinear Systems
… for parameter identification for nonlinear systems. The methods presented are expanded from those presented in Adetola and Guay [3, 4, 5] and are intended to improve the performance of existing adaptive control systems. The first two methods exactly recover open-loop system parameters once a …
-
Iterative Solution Methods for Reduced-Order Models of Parameterized Partial Differential Equations
… efficient computational algorithms for solving parameterized discrete partial differential equations (PDEs) using techniques of reduced-order modeling. Parameterized equations of this type arise in numerous mathematical models. In some settings, e.g. sensitivity analysis, design optimization, …
-
Uniform verification of safety for parameterized networks of hybrid automata
Distributed cyber-physical systems (CPS) incorporate communicating agents with their own cyber and physical states and transitions. Such systems are typically designed to accomplish tasks in the physical world. For example, the objective of a robotic swarm may be to cover an area while avoiding …