Related papers: A Structurally Flat Triangular Form Based on the E…
Flatness of discrete-time systems can be characterized by two simple properties. There exists a map, a submersion, from the flat coordinates and their forward shifts to the state and the input of the discrete-time system, such that the…
Finding necessary conditions for the geometry of flexible polyhedra is a classical problem that has received attention also in recent times. For flexible polyhedra with triangular faces, we showed in a previous work the existence of cycles…
Thin sheets that are forced at their boundaries develop a variety of shapes aimed at minimising elastic energy by curving spontaneously in ways that break the symmetry of the sheet and the forcing. Characterising such buckling generally…
A flat vector bundle on an algebraic variety supports two natural definable structures given by the flat and algebraic coordinates. In this note we show these two structures coincide, subject to a condition on the local monodromy at…
We present a formalization of constructive affine schemes in the Cubical Agda proof assistant. This development is not only fully constructive and predicative, it also makes crucial use of univalence. By now schemes have been formalized in…
We present an explicit construction for feedforward neural network (FNN), which provides a piecewise constant approximation for multivariate functions. The proposed FNN has two hidden layers, where the weights and thresholds are explicitly…
There is a one-to-one correspondence between associated families of generic conformally flat (local-)hypersurfaces in 4-dimensional space forms and conformally flat 3-metrics with the Guichard condition. In this paper, we study the space of…
We formulate a nonlinear continuum model of a graphene sheet supported by a flat rigid substrate. The sheet is parallel to the substrate and loaded on a pair of opposite edges. A typical cross-section of the sheet is modeled as an elastica.…
Designing a static state-feedback controller subject to structural constraint achieving asymptotic stability is a relevant problem with many applications, including network decentralized control, coordinated control, and sparse feedback…
A Riemannian metric on a closed manifold is said to be geometrically formal if the wedge product of any two harmonic forms is harmonic; equivalently, the interior product of any two harmonic forms is harmonic. Given a Riemannian foliation…
Fong developed `decorated cospans' to model various kinds of open systems: that is, systems with inputs and outputs. In this framework, open systems are seen as the morphisms of a category and can be composed as such, allowing larger open…
The contribution of this paper is threefold: first, it defines a framework for modelling component-based systems, as well as a formalization of integration rules to combine their behavior. This is based on finite state machines (FSM).…
Any singular level of a completely integrable system (c.i.s.) with non-degenerate singularities has a singular affine structure. We shall show how to construct a simple c.i.s. around the level, having the above affine structure. The…
We establish a separation principle for the output feedback stabilisation of state-affine systems that are observable at the stabilization target. Relying on control templates (recently introduced in [4]), that allow to approximate a…
In this paper, we describe a so-called screening approach for learning robust processing of spontaneously spoken language. A screening approach is a flat analysis which uses shallow sequences of category representations for analyzing an…
In this paper, we extend the structure-preserving interpolatory model reduction framework, originally developed for linear systems, to structured bilinear control systems. Specifically, we give explicit construction formulae for the model…
Let $M$ be a smooth Fano threefold such that a canonical extension of the tangent bundle is an affine manifold. We show that $M$ is rational homogeneous.
Creases are purposely introduced to thin structures for designing deployable origami, artistic geometries, and functional structures with tunable nonlinear mechanics. Modeling the mechanics of creased structures is challenging because…
Phase-change materials are ubiquitous in technology because of their ability to transition between amorphous and crystalline phases fast and reversibly, upon shining light or passing a current. Here we argue that to fully understand their…
The eXtended Finite Element Method (XFEM) is an approach for solving problems with non-smooth solutions. In the XFEM, the approximate solution is locally enriched to capture discontinuities without requiring a mesh which conforms to the…