Abstract: Our prior work established the decidability of current-location timed opacity (CLTO) in timed automata with integer resets (IRTA). This letter considers initial-location timed opacity (ILTO) ...
Abstract: This article considers the finite-time prescribed performance control (PPC) problem for a class of nonlinear systems with mismatched disturbances in the presence of output constraints. By ...
Even after 16 years, Bayonetta is still Hideki Kamiya’s baby. Commemorating the anniversary of the series’ first installment in a recent X post, Kamiya reminisced on the ups and downs he faced during ...
Introduction: In rescue mission scenarios, special vehicles need to frequently navigate through complex terrains such as muddy wilderness and rugged mountains, which poses challenges to their mobility ...
You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.
My own language compiler made in C/C++ for my CS445 Compiler course at University of Idaho in Spring 2023. The name of the language compiler is 'C-'.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback