470 search results - page 8 / 94 » Behavior Based Robotics Using Hybrid Automata |
HYBRID
2007
Springer
14 years 3 months ago
2007
Springer
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework h...
CMSB
2007
Springer
14 years 3 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
HYBRID
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodical...
MAM
2008
13 years 9 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...