Development non-timed hybrid system

13 views

Skip to first unread message

Jozimar Custódio

unread,

Oct 31, 2023, 3:17:01 PM10/31/23

to UPPAAL

Hello, I'm interested in understanding whether it's feasible to model a non-timed hybrid system using UPPAAL or UPPAAL-STRATEGO. Timing constraints are not required for the system I intend to model.

Reply all

Reply to author

Forward

0 new messages