Please be aware that this repository is only a release repository for the Arduino framework. The whole documentation can be found in the corresponding Cross-Framework-Platform library repository.

Abstract: Contribution: This study identifies the types of interaction that contribute to student learning with student-led tutorials (SLTs). The quality of these interactions include peer discussion, ...

We are interested in identifying and enforcing the isolation requirements of a concurrent program, i.e., concurrency control that ensures that the program meets its specification. The thesis of this ...

Abstract: This letter proposes an algorithm for solving finite-time nonlinear optimal control problems. The proposed method employs the Gauss pseudospectral method to transform the optimal control ...