Event-driven control systems provide interesting benefits such as reducing resource utilization. This paper formulates the optimal boundary and regulator design problem that minim...
— Wire-driven parallel robots are special types of Gough-Stewart platform in which the rigid extensible legs are substituted by extensible wires. Usually wire length change is ob...
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Me...
A fundamental problem in the simulation and control of complex physical systems containing distributed-parameter components concerns finite-dimensional approximation. Numerical me...
Goran Golo, Viswanath Talasila, Arjan van der Scha...
We consider a circular arch of thickness ε and curvature r−1 whose elastic deformations are described by a 2×2 system of linear partial differential equation. The system - of...