14 citations · 31 across the 17 of their papers we have counts for
3 papers · 1 filter
A formal proof of the Lax equivalence theorem for finite difference schemes
Mohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin
The behavior of physical systems is typically modeled using differential equations which are too complex to solve analytically. In practical problems, these equations are discretiz…
A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report
Hammad Ahmad, Jean-Baptiste Jeannin
Signal temporal logic (STL) was introduced for monitoring temporal properties of continuous-time signals for continuous and hybrid systems. Differential dynamic logic (dL) was intr…
A Physics-Based Finite-State Abstraction for Traffic Congestion Control
Hossein Rastgoftar, Jean-Baptiste Jeannin
This paper offers a finite-state abstraction of traffic coordination and congestion in a network of interconnected roads (NOIR). By applying mass conservation, we model traffic coo…