By Topic

An autonomous systems control theory: an overview

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Nerode, A. ; Cornell Univ., Ithaca, NY, USA ; Kohn, W.

A formal theory for characterizing the control of autonomous, dynamical systems is outlined. The main goal is to establish a coherent blend of conventional feedback control and logic-based model theories that provides a unified framework for design and analysis of autonomous systems. A descriptive style is used to highlight the elements of the theory and some basic results. The theory is based on the representation of dynamical systems by evolution models. Although the aim is to develop the theory for general dynamic models, the focus is on a class of systems whose dynamics and requirements are properly represented by an amalgamation of an evolution object and a logic object. The evolution object is characterized by coupled ordinary differential, integral (with time as the independent variable), and algebraic equations and inequalities over a suitable vector space. The logic object is a set of generic and customizable (problem dependent) axioms and theorems that prescribe the requirements imposed on the system, its interaction with the environment over time, and the design principles that permit inference-based online design of control laws

Published in:

Computer-Aided Control System Design, 1992. (CACSD), 1992 IEEE Symposium on

Date of Conference:

17-19 Mar 1992