Specification and verification in continuous problem domains are key topics for the practical application of formal methods and mechanized reasoning. I discuss one approach to linear continuous control systems and consider the challenges and opportunities raised for mechanized reasoning. These include practical implementation and integration issues, algorithms in computational real algebraic ge...

Robotics solutions properly sized with suitable modularized mechanized structure and well adapted to local conditions of dangerous unstructured areas can greatly improve the safety of personnel as well as the work efficiency, productivity and flexibility. Solving this problem presents challenges in robotic mechanics and mobility, sensors and sensor fusion, autonomous or semi autonomous navigati...

Specification and verification in continuous problem domains are key topics for the practical application of formal methods and mechanized reasoning. I discuss one approach to linear continuous control systems and consider the challenges and opportunities raised for mechanized reasoning. These include practical implementation and integration issues, algorithms in computational real algebraic ge...

This paper examines the political economy of coordination in a simple two-sector model in which individuals’ choice of agricultural technology affects industrialization. We show that multiple equilibria exist such that the economy is either characterized by the use of a traditional agricultural technology and low industrialization or the use of a mechanized technology and high industrialization...

This article presents the analysis of the effect of two different types of work organization (the traditional and a new mechanized, more segmented one) in the packing sector of a luminary manufacturing company in Curitiba, Brazil. A macroergonomic analysis was conducted to evaluate the workers satisfaction with the job; the possible associated postural risk, the level of body pain/discomfort an...

ion-Based Information Technology: A Framework for Open Mechanized Reasoning.