A rigorous numerical algorithm for controllability

Bibliographic description

title:	A rigorous numerical algorithm for controllability
author:	Colonius Fritz, Kapela Tomasz
editor:	Lamnabhi-Lagarrigu Françoise, Loria Antonio, Panteley Elena, Laghrouche Salah
Book title:	Taming heterogeneity and complexity of embedded control
date of publication:	2007
place of publication : name of publisher:	London : ISTE Newport Beach : ISTE USA
pages:	157-170
ISBN:	978-1-905209-65-1
notes:	Artykuł został zaprezentowany podczas: "Joint CTS-HYCON Workshop on Nonlinear and Hybrid Control" w Paryżu 10-12 lipca 2006.
language:	English
Book language:	English
abstract in english:	The paper presents a rigorous numerical algorithm for controllability, based on the Krawczyk operator. For given two sets X and Y we check whether each point from the set X is connected by some controlled trajectory with each point in the set Y. Two examples are included.
keywords in english:	controllability, rigorous numerics, Krawczyk operator, Takens-Bogdanov oscillator, escape equation
affiliation:	Wydział Matematyki i Informatyki : Instytut Informatyki i Matematyki Komputerowej
type:	chapter
subtype:	conference proceedings