[Kohei Suenaga] Formal methods for hybrid systems based on the theory of nonstandard programming languages

Research Director

Kohei Suenaga

Kohei Suenaga

Graduate School of Informatics, Kyoto University
Associate Professor
website

Outline

This project aims at a verification framework for hybrid systems (i.e., systems whose behavior is characterized by both continuous and discrete quantities). Concretely, we aim at (1) methods for modeling and formally verifying hybrid systems based on mathematical logic and programming-language-theoretic ideas (e.g., invariant-discovery techniques) and (2) implementing a verification tool for large-scale hybrid systems based on the theoretical foundation of (1).

Quick Access

Quick Access

 News

arrow On-going

arrow Completed

Program

  • CREST
  • PRESTO
  • ACT-I
  • ERATO
  • ACT-C
  • ACCEL
  • ALCA
  • RISTEX
Finish programs
  • Pamphlet
  • ProjectDB
  • GlobalActivity
  • Diversity-EN
  • OS_Policy-EN
  • Question-E