1 paper · 1 filter
Pavel Osinenko
This work presents a framework for control theory based on constructive analysis to account for discrepancy between mathematical results and their implementation in a computer, als…