Add support for an external synchronous compiler to discrete and hybrid systems#3399

Merged

AayushSabharwal merged 22 commits intomasterfrom

bc/external-synchronous

Aug 8, 2025

Commits on Aug 8, 2025

Early work on the new discrete backend for MTK

BenChung
authored and
AayushSabharwal
committed
feat: retain original equations of the system in `TearingState`
AayushSabharwal
committed
feat: allow namespacing statemachine equations
AayushSabharwal
committed
feat: propagate state machines in structural simplification
AayushSabharwal
committed
Handle nothing updates better

BenChung
authored and
AayushSabharwal
committed
Redefine the discrete_compile interface a bit

BenChung
authored and
AayushSabharwal
committed
Change the external synchronous signature to include the id/clock map

BenChung
authored and
AayushSabharwal
committed
feat: add `zero_crossing_id` to `SymbolicContinuousCallback`
AayushSabharwal
committed
feat: add `ZeroCrossing` and `EventClock` from zero crossing
AayushSabharwal
committed
feat: subset variables appropriately in clock inference
AayushSabharwal
committed
feat: add hook during problem construction
AayushSabharwal
committed
fix: handle `Union` types in `BufferTemplate`
AayushSabharwal
committed
feat: rewrite clock inference to support polyadic synchronous operators
AayushSabharwal
committed
Better support for multi-adic operators

BenChung
authored and
AayushSabharwal
committed
refactor: replace `is_synchronous_operator` with `is_timevarying_operator`
AayushSabharwal
committed
fix: fix `is_time_domain_conversion` for new `input_timedomain`
AayushSabharwal
committed
fix: fix `input_timedomain` implementation for `Differential`
AayushSabharwal
committed
build: bump SciMLBase compat
AayushSabharwal
committed
feat: use and split initialization equations in clock inference
AayushSabharwal
committed
refactor: clock partition with no clock is assumed continuous
AayushSabharwal
committed
refactor: do not run clock inference for time-independent systems
AayushSabharwal
committed
fix: fix tests to account for new `zero_crossing_id`
AayushSabharwal
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Uh oh!

Add support for an external synchronous compiler to discrete and hybrid systems#3399

Add support for an external synchronous compiler to discrete and hybrid systems#3399
AayushSabharwal merged 22 commits intomasterfrom
bc/external-synchronous

Commits on Aug 8, 2025

Early work on the new discrete backend for MTK

feat: retain original equations of the system in `TearingState`

feat: allow namespacing statemachine equations

feat: propagate state machines in structural simplification

Handle nothing updates better

Redefine the discrete_compile interface a bit

Change the external synchronous signature to include the id/clock map

feat: add `zero_crossing_id` to `SymbolicContinuousCallback`

feat: add `ZeroCrossing` and `EventClock` from zero crossing

feat: subset variables appropriately in clock inference

feat: add hook during problem construction

fix: handle `Union` types in `BufferTemplate`

feat: rewrite clock inference to support polyadic synchronous operators

Better support for multi-adic operators

refactor: replace `is_synchronous_operator` with `is_timevarying_operator`

fix: fix `is_time_domain_conversion` for new `input_timedomain`

fix: fix `input_timedomain` implementation for `Differential`

build: bump SciMLBase compat

feat: use and split initialization equations in clock inference

refactor: clock partition with no clock is assumed continuous

refactor: do not run clock inference for time-independent systems

fix: fix tests to account for new `zero_crossing_id`

Uh oh!

Add support for an external synchronous compiler to discrete and hybrid systems#3399AayushSabharwal merged 22 commits intomasterSciML/ModelingToolkit.jl:masterfrom bc/external-synchronousSciML/ModelingToolkit.jl:bc/external-synchronousCopy head branch name to clipboard

Commits

Commits on Aug 8, 2025

Add support for an external synchronous compiler to discrete and hybrid systems#3399
AayushSabharwal merged 22 commits intomasterfrom
bc/external-synchronous