SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata.
Akash DeshpandeAleks GöllüPravin VaraiyaPublished in: Hybrid Systems (1996)
Keyphrases
- programming language
- dynamic networks
- hybrid automata
- fluent calculus
- finite state automata
- general purpose
- object oriented
- software engineering
- high level
- network structure
- network analysis
- dynamic behavior
- logic programming
- knowledge representation
- object oriented programming
- programming environment
- strongly typed
- functional language
- temporal evolution
- denotational semantics
- concurrent programming
- finite state machines
- functional programming
- computer programs
- artificial intelligence
- biological networks
- machine learning
- reverse engineering
- situation calculus