Representing Hybrid Transition Systems in an Action Language Modulo ODEs
abstract: Several physical systems exist in the real world that involve continuous as well as discrete changes. These range from natural dynamic systems like the system of a bouncing ball to robotic dynamic systems such as planning the motion of a robot across obstacles. The key aspects of effective...
Other Authors: | Loney, Nikhil (Author) |
---|---|
Format: | Dissertation |
Language: | English |
Published: |
2017
|
Subjects: | |
Online Access: | http://hdl.handle.net/2286/R.I.44191 |
Similar Items
-
A modular language for describing actions
by: Ren, Wanwan
Published: (2010) -
Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach
Published: (2018) -
Answer Set Programming Modulo Theories
Published: (2016) -
Representing, Reasoning and Answering Questions about Biological Pathways Various Applications
Published: (2014) -
Bridging the Gap between Classical Logic Based Formalisms and Logic Programs
Published: (2012)