collaborators

1 paper

eess.SY2024

A New Hybrid Automaton Framework with Partial Differential Equation Dynamics

Tianshu Bao, Hengrong Du, Weiming Xiang +1

This paper presents the syntax and semantics of a novel type of hybrid automaton (HA) with partial differential equation (PDE) dynamic, partial differential hybrid automata (PDHA).…