Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees

In this article, we focus on inferring high-level descriptions of a system from its execution traces. Specifically, we consider a classification problem where system behaviors are described using formulae of Signal Temporal Logic (STL). Given a finite set of pairs of system traces and labels, where each label indicates whether the corresponding trace exhibits some system property, we devised a decision-tree-based framework that outputs an STL formula that can distinguish the traces. We also extend this approach to the online learning scenario. In this setting, it is assumed that new signals may arrive over time and the previously inferred formula should be updated to accommodate the new data. The proposed approach presents some advantages over traditional machine learning classifiers. In particular, the produced formulae are interpretable and can be used in other phases of the system’s operation, such as monitoring and control. We present two case studies to illustrate the effectiveness of the proposed algorithms: (1) a fault detection problem in an automotive system and (2) an anomaly detection problem in a maritime environment.

Download Full-text

Digital radio based train control for safety assurance of maglev transportation

Transportation systems and technology ◽

10.17816/transsyst201623145-154 ◽

2016 ◽

Vol 2 (3) ◽

pp. 145-154

Author(s):

V V Shmatchenko ◽

P A Plekhanov

Keyword(s):

Magnetic Levitation ◽

Radio Channel ◽

Practical Importance ◽

Monitoring And Control ◽

Digital Radio ◽

Analysis And Synthesis ◽

Control Automation ◽

High Level ◽

And Control ◽

Working Out

Introduction. The Control System of Maglev Vehicles (further - CSMV) has key value for development maglev. Purpose. In article management by safe movement of maglev vehicles with use of digital radio channel are considered, the international experience is analysed and conclusions for Russian practice are drawn. Methodology. The following methods were used: system approach, analysis and synthesis, generalization. Results. CSMV should consider physical possibilities of magnetic levitation, factors and the restrictions influencing these possibilities, including - the factors connected with safety. CSMV should possess complex of functions allowing effectively, full and safely to realise possibility of magnetic levitation in conditions of specified factors and restrictions. Practical importance. The basic practical results, which can be received by working out CSMV, are: - creation CSMV with high level of control automation and consequently effective and safe; - working out within CSMV typical design decisions, applicable for adaptation to monitoring and control of problems various systems and maglev vehicles; - creation of preconditions of design and perfection of all complex of regulatory framework, conformity which provides safety of maglev infrastructure and vehicles; - reception of interaction experience of the Customer, the research and design organisations, the industry enterprises, the assembly and maintaining organisations at stages of life cycle of CSMV, as key subsystem of maglev. Conclusion. The main appointment of CSMV - creation and constant provide of conditions for safe and effective functioning and development of this new type of transport.

Download Full-text

Study on the Construction of Intelligent Power Distribution Area of Rural Power Grid

Advanced Materials Research ◽

10.4028/www.scientific.net/amr.846-847.400 ◽

2013 ◽

Vol 846-847 ◽

pp. 400-404

Author(s):

Ya Jing Zhu ◽

Hui Yu Tian ◽

Ke Bi

Keyword(s):

Rural Areas ◽

Power Distribution ◽

Integrated Management ◽

Power Grid ◽

Distribution Area ◽

Monitoring And Control ◽

Distribution Management ◽

Power Load ◽

High Level ◽

And Control

In most of Chinas rural areas, the devices of power distribution area are low configured, simply designed and installed, and have few functions but lots of forms. Beyond, most of them only implement simple functions of power distribution and metering. They couldnt meet the needs of transformation of rural power grid. So its extremely urgent to reconstruct and build intelligent rural power distribution and realize the standardization of information model and the intelligent integrated management of power distribution area to improve the quality and reliability of power supply. In this paper, we analyzed the current development situation of Chinas rural area. Then from the aspect of solving the lagging intelligent level of rural power system, we do some research about developing a new intelligent integrated distribution box and distribution transformer terminal , then we propose the intelligent manage system of power distribution area to realize high intelligent level of power distribution management, high level monitoring and control and greatly improved manage efficiency. At the same time, we enhanced the serving strength for the customer and help to improved the entire intelligent power load , so we could supply high quality power to our customers.

Download Full-text

Do You Know Your Onboard Temperature Sensing IC?

ASME 2011 Pacific Rim Technical Conference and Exhibition on Packaging and Integration of Electronic and Photonic Systems, MEMS and NEMS: Volume 2 ◽

10.1115/ipack2011-52288 ◽

2011 ◽

Author(s):

Herman Chu

Keyword(s):

Power Density ◽

Empirical Work ◽

Thermal Conditions ◽

Temperature Sensing ◽

Junction Temperature ◽

Monitoring And Control ◽

Monitoring And Control System ◽

Sensor Temperature ◽

High Level ◽

And Control

It is a common practice in electronic packaging to deploy onboard temperature sensing ICs for thermal health monitoring and control. The IT equipment industry has seen exponential increase in power and power density growth on devices and PCBs. In turn, more and more IC temperature sensors are used in highly complex algorithms and are expected to be highly accurate in predicting the local thermal conditions. In many cases they are even used to correlate to air temperature. However, care must be taken in understanding the different factors that influence the temperature readings of these devices. Some of the factors that have direct impact on the quality of the temperature reading include parasitic heating due to adjacent components and placement location, airflow condition, circuit design in connecting these devices to the board, accuracy and tolerance of these devices. In addition, because of the increase in component power density, the temperature difference between the device temperature, for example junction temperature, and board sensor temperature can be very different and the range can vary a lot as well. In this paper, thermal numerical modeling, as well as empirical work at the system and board levels, was performed to understand the implications of the temperature readings from these devices. Several of the commercially available onboard temperature sensing ICs are compared as well. It is the intention of this work to point out these areas in order for thermal and system design practitioners to intelligently use these devices appropriately. Also, a high-level environmental monitoring and control system (EMCS) policy is illustrated for highly configurable multi-board equipment.

Download Full-text

Application of Mathematical Models to Determine the Feasibility of Amorphous Drug Layering in Pan Coaters

Pharmaceutics ◽

10.3390/pharmaceutics14010149 ◽

2022 ◽

Vol 14 (1) ◽

pp. 149

Author(s):

Michael Choi ◽

Stuart C. Porter ◽

Axel Meisen

Keyword(s):

Mathematical Models ◽

Water Solubility ◽

Amorphous State ◽

Spray Coating ◽

Monitoring And Control ◽

Drug Products ◽

Amorphous Drug ◽

High Level ◽

The Cost ◽

And Control

Oral solid dosage forms that contain APIs in the amorphous state have become commonplace because of many drug substances exhibiting poor water solubility, which negatively impacts their absorption in the human GI tract. While micronization, solvent spray-drying, and hot-melt extrusion can address solubility issues, spray coating of the APIs onto beads and tablets offers another option for producing amorphous drug products. High-level comparisons between bead and tablet coating technologies have the potential for simpler equipment and operation that can reduce the cost of development and manufacturing. However, spray coating directly onto tablets is not without challenges, especially with respect to meeting uniformity acceptance value (AV) criteria, comprising accuracy (mean) and precision (variance) objectives. The feasibility of meeting AV criteria is examined, based on mathematical models for accuracy and precision. The results indicate that the main difficulty in manufacturing satisfactory drug-layered tablets by spray coating is caused by the practical limitations of achieving the necessary coating precision. Despite this limitation, it is shown that AV criteria can be consistently met by appropriate materials monitoring and control as well as processing equipment setup, operation, and maintenance.

Download Full-text

Epidemiological monitoring and control perspectives: application of a parsimonious modelling framework to the COVID-19 dynamics in France

10.1101/2020.05.22.20110593 ◽

2020 ◽

Cited By ~ 9

Author(s):

Mircea T. Sofonea ◽

Bastien Reyné ◽

Baptiste Elie ◽

Ramsès Djidjou-Demasse ◽

Christian Selinger ◽

...

Keyword(s):

Deterministic Model ◽

Monitoring And Control ◽

Public Health Policies ◽

Modelling Framework ◽

Epidemiological Monitoring ◽

History Of ◽

Parsimonious Model ◽

High Level ◽

And Control ◽

National Control

AbstractSARS-Cov-2 virus has spread over the world creating one of the fastest pandemics ever. The absence of immunity, asymptomatic transmission, and the relatively high level of virulence of the COVID-19 infection it causes led to a massive flow of patients in intensive care units (ICU). This unprecedented situation calls for rapid and accurate mathematical models to best inform public health policies. We develop an original parsimonious model that accounts for the effect of the age of infection on the natural history of the disease. Analysing the ongoing COVID-19 in France, we estimate the value of the key epidemiological parameters, such as the basic reproduction number , and the efficiency of the national control strategy. We then use our deterministic model to explore several scenarios posterior to lock-down lifting and compare the efficiency of non pharmaceutical interventions (NPI) described in the literature.

Download Full-text

Computers for data, control and simulation

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100106661 ◽

1988 ◽

Vol 46 ◽

pp. 920-921

Author(s):

David C. Joy

Keyword(s):

Personal Computers ◽

Monitoring And Control ◽

Data Logging ◽

Data Logger ◽

Operational Conditions ◽

Data Control ◽

The Many ◽

And Control

Personal computers (PCs) are a powerful resource in the EM Laboratory, both as a means of automating the monitoring and control of microscopes, and as a tool for quantifying the interpretation of data. Not only is a PC more versatile than a piece of dedicated data logging equipment, but it is also substantially cheaper. In this tutorial the practical principles of using a PC for these types of activities will be discussed.The PC can form the basis of a system to measure, display, record and store the many parameters which characterize the operational conditions of the EM. In this mode it is operating as a data logger. The necessary first step is to find a suitable source from which to measure each of the items of interest. It is usually possible to do this without having to make permanent corrections or modifications to the EM.

Download Full-text