image thumbnail

updated 3 months ago

PF_programs.zip by Lyudmila Mihaylova

Code for mobility tracking (tracking, sequential monte carl..., localization)

EventSearch (Number, Prob);

hpr_crlb(XEb,a_i,b_i);

hpr_crlb6(XEb,a_i,b_i);

image thumbnail

updated 5 months ago

odehybrid by Tucker McClure

Simulation engine for hybrid continuous- and discrete-time systems (simulation, ordinary differential..., difference equations)

Examples of odehybrid

example_odehybrid_eventfcn(t, x, p, v)

example_odehybrid_logging()

image thumbnail

updated almost 3 years ago

Control Synthesis for a Surface Mount Device with Simulink Design Verifier by Pieter Mosterman

Simulink Design Verifier finds a force control profile to stamp a component onto a circuit board. (hybrid systems, model checking, control synthesis)

Synthesizing a feedforward control stragegy for stiff hyb...

R11a_surface_mount_device_v100

R11a_surface_mount_device_v100_dv

image thumbnail

updated 7 years ago

CheckMate demos by Zhi Han

Demos for checkmate hybrid system verification tool. (hybrid systems, formal verification)

PH_function(x,u)

PH_function_par(x,u,p)

[sys,type,reset]=acc_dyn(x,u)

Contact us