- edoc-Server Home
- Browsing by Author
Browsing by Author "Burkhard, Hans-Dieter"
Now showing items 1-8 of 8
-
1985-01-01ZeitschriftenartikelAn Investigation Of Controls For Concurrent Systems Based On Abstract Control Languages Burkhard, Hans-DieterThe behaviour of the controlled system determines the control. This concise statement summarizes our approach to the investigation of controls. Using abstract languages to define the behaviour and subbehaviour of a system, ...
-
2008-01-01ZeitschriftenartikelConstraint Based World Modeling Göhring, Daniel; Mellmann, Heinrich; Gerasymova, Kataryna; Burkhard, Hans-DieterCommon approaches for robot navigation use Bayesian filters like particle filters, Kalman filters and their extended forms. We present an alternative and supplementing approach using con- straint techniques based on spatial ...
-
1983-01-01ZeitschriftenartikelControl of Petri Nets by Finite Automata Burkhard, Hans-DieterPetri nets are considered where the firings are controled by finite automata. The control may be distributed to different automata working over disjoint sets of transitions. To avoid deadlocks and conflicts for the whole ...
-
2007-01-20Berichte und sonstige TexteMaßnahmen des RoboCup zum Wissenschaftsjahr 2006 Abschlussbericht zum 20. Januar 2007Burkhard, Hans-Dieter; Hild, Manfred; Altmeyer, Benjamin; Bachmann, Ferry; Domanska, Monika; Gaudig, Matthias; Hartig, PeterDie „Maßnahmen des RoboCup zum Wissenschaftsjahr 2006“ hatten zum Ziel, Kinder und Jugendliche für Technik, speziell für Robotik zu begeistern und so auch technische und ingenieurwissenschaftliche Berufe mehr in den Fokus ...
-
1982-01-01ZeitschriftenartikelOn Fairness in Petri Nets Burkhard, Hans-DieterIntroduction: Fairness is to be understood as performing actions in the order of their announcements. Related problems are studied in the Petri net model where actions correspond to the firings of transitions. An action ...
-
1981-01-01ZeitschriftenartikelOrdered Firing in Petri Nets Burkhard, Hans-DieterTwo simple rules for solving conflicts and for ordering the firings of tronsitions in a Petri net are studied: 1. The "Maximum Strategy" (Salwicki, Müldner) whereby maximal sets of simultaneously fireble transitions are ...
-
2002-01-01ZeitschriftenartikelReal Time Control for Autonomous Mobile Robots Burkhard, Hans-DieterControl of autonomous mobile robots in dynamical environments is interesting from a cognitive point of view as well as under application view points. Stimulus response controls are often favored for fast reactions to the ...
-
1981-01-01ZeitschriftenartikelTwo Pumping Lemmata for Petri Nets Burkhard, Hans-DieterA careful analysis of the coverability tree for Petri nets shows that each infinite reachability set contains infinite linear subsets. This can be formulated as a pumping lemma for markings. It can also be shown that the ...