Chetan Rawal

Learn More
This paper outlines an abstraction process in which a particular class of hybrid automata with continuous dynamics that have parameterized positive limit sets, are being abstracted into finite transition systems. The limit sets with their corresponding attraction regions define preand post-conditions for the continuous dynamics, and determine the(More)
This paper brings together concepts from linguistics and formal language theory and applies them to model robot behavior. This is done by defining a class of formal languages that capture the abstract behavior of robots which can be described as hybrid systems with stable continuous dynamics. It is shown that this class of languages falls within the(More)
  • 1