Taylor & Francis makes every effort to ensure the accuracy of all the information (the “Content”) contained in the publications on our platform. However, Taylor & Francis, our agents, and our licensors make no representations or warranties whatsoever as to the accuracy, completeness, or suitability for any purpose of the Content. Any opinions and views expressed in this publication are the opin...

The goal of runtime verification is to inspect the well-being of a system by employing a monitor during its execution. Such monitoring imposes costs in terms of resource utilization. Memory usage and predictability of the monitor invocations are among the indicators of the quality of a monitoring solution, especially in the context of embedded systems. In this paper, we propose a novel control-...

A generic structure of reachable and controllable positive linear systems is given in terms of some characteristic components (monomial subdigraphs) of the digraph of a non-negative a pair. The properties of monomial subdigraphs are examined and used to derive reachability and controllability criteria in a digraph form for the general case when the system matrix A may contain zero columns. The ...

For a linear system under a given saturated linear feedback, we propose feedback laws that achieve semi-global stabilization on the null controllable region while preserving the performance of the original feedback law in a 4xed region. Here by semi-global stabilization on the null controllable region we mean the design of feedback laws that result in a domain of attraction that includes any a ...

We demonstrate the fabrication of the large-area arrays of vertically aligned Si/SiO2 nanowires with full tunability of the geometry of the single nanowires by the metal-assisted chemical etching technique and the following thermal oxidation process. To fabricate the geometry controllable Si/SiO2 nanowire (NW) arrays, two critical issues relating with the size control of polystyrene reduction a...

Advanced information-processing services such as computer vision require a high-performance digital circuit to perform high-load processing at high speed. To achieve high-speed processing, several image-processing applications use an approximate computing technique reduce idle time of the circuit. However, it is difficult design while controlling error rate so not degrade service quality, and t...