HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models Stanley Bak Sergiy Bogomolov

Source URL: www.taylortjohnson.com

Intl. Symposium on Experimental Robotics, JuneLinguistic Composition of Semantic Maps and Hybrid Controllers ? Neil Dantam, Carlos Nieto-Granda, Henrik Christensen, and Mike Stilman Center for Robotics and Intelli

Source URL: www.neil.dantam.name

• Formal languages
• Combinatorics
• Mathematics
• Combinatorics on words
• Discrete mathematics
• Theoretical computer science
• Models of computation
• Finite automata
• Automata theory
• Pushdown automaton
• Finite-state machine
• Alphabet

PDF Document

Source URL: www.iaeng.org

• Differential equations
• Biology
• Hybrid automaton
• Hybrid system
• Systems science
• Hybrid
• System
• Model checking
• Thermostat
• Science and technology

Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering

Source URL: www.utc.ices.cmu.edu

• Unified Modeling Language
• Model-driven architecture
• Object Management Group
• Modeling language
• KeY
• Hybrid system
• Model checking
• Metamodeling
• Systems Modeling Language
• Object Process Methodology
• Formal verification
• Hybrid automaton

TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.1.A-2

Source URL: spes2020.informatik.tu-muenchen.de

• Scientific modeling
• Differential equations
• Diagrams
• Software architecture
• Architecture description language
• Modeling language
• Hybrid system
• Object Process Methodology
• Hybrid automaton
• Component-based software engineering
• Conceptual model
• Model checking

The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv

Source URL: eacsl.kahle.ch

• Theoretical computer science
• Rajeev Alur
• Logic in computer science
• Symposium on Logic in Computer Science
• Automata
• Hybrid automaton
• Formal languages
• Timed automaton

Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen

Source URL: www.cs.ru.nl

• Functional languages
• Type theory
• Automated theorem proving
• Hybrid automaton
• Numerical analysis
• Proof assistant
• Coq
• Verification
• OCaml
• Model checking
• Discretization

Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski

Source URL: ai.cs.unibas.ch

• Automated planning and scheduling
• Planning Domain Definition Language
• Theoretical computer science
• Models of computation
• Hybrid automaton
• Formal languages
• Finite-state machine
• Hybrid system
• Alphabet
• Automata theory
• Differential equations
• Mathematics

PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior Sergiy Bogomolov Daniele Magazzeni

Source URL: ai.cs.unibas.ch

• Hybrid automaton
• Continuous function
• Complete Heyting algebra
• Abstraction
• Automata theory
• Mathematics
• Mathematical analysis

HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge

Source URL: www.lsv.ens-cachan.fr

• Markov processes
• Models of computation
• Markov models
• Differential equations
• Petri net
• Probabilistic automaton
• Markov chain
• Hybrid automaton
• Random variable
• Statistics
• Probability and statistics
• Automata theory