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 ...
Abstract: Airport stand allocation is a multi-purpose optimization process that has an impact on operational efficiency and requires rapid intervention in case of changing conditions (e.g. managing ...
Abstract: We propose a counter-example guided inductive synthesis (CEGIS) scheme for the design of control Lyapunov functions and associated state-feedback controllers for linear systems affected by ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback