Abstract: We introduce an algorithm for synthesizing and verifying piecewise linear Lyapunov functions to prove global exponential stability of piecewise linear dynamical systems. The Lyapunov ...
A compact C finite state machine (FSM) implementation that's easy to use on embedded and PC-based systems. CMake is used to create the project build files on any Windows or Linux machine. The state ...
Abstract: State-of-the-art C/C++ synthesis tools lack abstractions and conveniences that are pervasive in modern software languages. Higher-order functions are particularly important as they increase ...
Crossplane KCL function allows developers to use KCL (a DSL) to write composite logic without the need for repeated packaging of crossplane functions, and we support package management and the KRM KCL ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results