Completeness and decidability results for hybrid(ised) logics

Adding to the modal description of transition structures the ability to refer to specific states, hybrid(ised) logics provide an interesting framework for the specification of reconfigurable systems. The qualifier ‘hybrid(ised)’ refers to a generic method of developing, on top of whatever specification logic is used to model software configurations, the elements of an hybrid language, including nominals and modalities. In such a context, this paper shows how a calculus for a hybrid(ised) logic can be generated from a calculus of the base logic and that, moreover, it preserves soundness and completeness. A second contribution establishes that hybridising a decidable logic also gives rise to a decidable hybrid(ised) one. These results pave the way to the development of dedicated proof tools for such logics used in the design of reconfigurable systems

Topologically non-trivial magnon bands in artificial square spin ices subject to Dzyaloshinskii-Moriya interaction

Systems that exhibit topologically protected edge states are interesting both from a fundamental point of view as well as for potential applications, the latter because of the absence of back-scattering and robustness to perturbations. It is desirable to be able to control and manipulate such edge states. Here, we show that artificial square ices can incorporate both features: an interfacial Dzyaloshinksii-Moriya gives rise to topologically non-trivial magnon bands, and the equilibrium state of the spin ice is reconfigurable with different configurations having different magnon dispersions and topology. The topology is found to develop as odd-symmetry bulk and edge magnon bands approach each other, so that constructive band inversion occurs in reciprocal space. Our results show that topologically protected bands are supported in square spin ices.Comment: 27 pages, 6 figure

DNA nanotechnology-enabled chiral plasmonics: from static to dynamic

In this Account, we discuss a variety of static and dynamic chiral plasmonic nanostructures enabled by DNA nanotechnology. In the category of static plasmonic systems, we first show chiral plasmonic nanostructures based on spherical AuNPs, including plasmonic helices, toroids, and tetramers. To enhance the CD responses, anisotropic gold nanorods with larger extinction coefficients are utilized to create chiral plasmonic crosses and helical superstructures. Next, we highlight the inevitable evolution from static to dynamic plasmonic systems along with the fast development of this interdisciplinary field. Several dynamic plasmonic systems are reviewed according to their working mechanisms.Comment: 7 figure

Tailoring Spin-Wave Channels in a Reconfigurable Artificial Spin Ice

Artificial spin ices are ensembles of geometrically arranged interacting nanomagnets that have shown promising potential for the realization of reconfigurable magnonic crystals. Such systems allow for the manipulation of spin waves on the nanoscale and their potential use as information carriers. However, there are presently two general obstacles to the realization of artificial spin-ice-based magnonic crystals: the magnetic state of artificial spin ices is difficult to reconfigure and the magnetostatic interactions between the nanoislands are often weak, preventing mode coupling. We demonstrate, using micromagnetic modeling, that coupling a reconfigurable artificial spin-ice geometry made of weakly interacting nanomagnets to a soft magnetic underlayer creates a complex system exhibiting dynamically coupled modes. These give rise to spin-wave channels in the underlayer at well-defined frequencies, based on the artificial spin-ice magnetic state, which can be reconfigured. These findings open the door to the realization of reconfigurable magnonic crystals with potential applications for data transport and processing in magnonic-based logic architectures

Correct-by-Construction Approach for Self-Evolvable Robots

The paper presents a new formal way of modeling and designing reconfigurable robots, in which case the robots are allowed to reconfigure not only structurally but also functionally. We call such kind of robots "self-evolvable", which have the potential to be more flexible to be used in a wider range of tasks, in a wider range of environments, and with a wider range of users. To accommodate such a concept, i.e., allowing a self-evovable robot to be configured and reconfigured, we present a series of formal constructs, e.g., structural reconfigurable grammar and functional reconfigurable grammar. Furthermore, we present a correct-by-construction strategy, which, given the description of a workspace, the formula specifying a task, and a set of available modules, is capable of constructing during the design phase a robot that is guaranteed to perform the task satisfactorily. We use a planar multi-link manipulator as an example throughout the paper to demonstrate the proposed modeling and designing procedures.Comment: The paper has 17 pages and 4 figure

Directed Particle Transport via Reconfigurable Fiber Networks

Mass transport limitations of particulates within conventional microanalytical systems are often cited as the root cause for low sensitivity but can be overcome by directed analyte transport, such as via biomolecular motors or gradient surfaces. An ongoing challenge is the development of materials that are passive in nature (i.e., no external power source required), but can reconfigure to perform work, such as transporting particle‐based analytes. Mimicking biology’s concepts of autonomous and reconfigurable materials systems, like the Drosera capensis leaf, reconfigurable fiber networks that effectively concentrate particulates within a localized spot that can act as a detection patch are developed. These networks, prepared by electrohydrodynamic co‐jetting, draw their reconfigurability from a bicompartmental fiber architecture. Upon exposure to neutral pH, a differential swelling of both fiber compartments gives rise to interfacial tension and ultimately results in shape reconfiguration of the fiber network. Compared to free particles, the reconfigurable fiber networks display a 57‐fold increase in analyte detectability, average transport efficiencies of 91.9 ± 2.4%, and separation selectivity between different surface properties of 95 ± 3%. The integration of biomimetic materials into microanalytical systems, exemplified in this study, offers ample opportunities to design novel and effective detection schemes that circumvent mass transport limitations.Biomimetic hydrogel fibers deposited in a structured spiderweb network via electrohydrodynamic co‐jet writing allow for precise control over the direction of their bending motion. The shape reconfigurable network exhibits high selectivity and efficiency in actively transporting particulates. Based on these results, their potential in overcoming mass transport limitations in microanalytical systems is demonstrated.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/174803/1/adfm202204080-sup-0001-SuppMat.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/174803/2/adfm202204080_am.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/174803/3/adfm202204080.pd

Design of an autonomous software platform for future symbiotic service management

Nowadays, public as well as private communication infrastructures are all contending for the same limited amount of bandwidth. To optimally share network resources, symbiotic networks have been proposed, which cross logical and physical boundaries to improve the reliability, scalability, and energy efficiency of the network as a whole as well as its constituents. This paper focuses on software services in such symbiotic networks. We propose a platform for the intelligent composition of services provided by symbiotically connected parties, resulting in novel cooperation opportunities. The platform harvests Semantic Web technology to describe services in a highly expressive manner, and constructs service compositions using SeCoA, our tunable best-first search algorithm. The resulting compositions are then enacted via CaPI, a reconfigurable middleware infrastructure. By means of an illustrative scenario, we provide further insight into the platform's functioning