scholarly journals Using Automata in Control Synthesis. A Case Study

2000 ◽  
Vol 7 (22) ◽  
Author(s):  
Thomas S. Hune ◽  
Anders B. Sandholm
Keyword(s):  
Control Program ◽  
Second Order ◽  
Control Synthesis ◽  
Control Programs

We study a method for synthesizing control programs. The<br />method merges an existing control program with a control automaton.<br />For specifying the control automata we have used monadic second order<br />logic over strings. Using the Mona tool, specifications are translated into<br />automata. This yields a new control program restricting the behavior of<br />the old control program such that the specifications are satisfied. The<br />method is presented through a concrete example.

scholarly journals Macroscopic and Multi-Scale Models for Multi-Class Vehicular Dynamics with Uneven Space Occupancy: A Case Study

Axioms ◽  
2021 ◽  
Vol 10 (2) ◽  
pp. 102
Author(s):  
Maya Briani ◽  
Emiliano Cristiani ◽  
Paolo Ranut
Keyword(s):  
Road Network ◽  
Real Data ◽  
Second Order ◽  
Heavy Vehicles ◽  
First Order ◽  
Multi Scale ◽  
Stop And Go ◽  
Scale Models ◽  
Road Space

In this paper, we propose two models describing the dynamics of heavy and light vehicles on a road network, taking into account the interactions between the two classes. The models are tailored for two-lane highways where heavy vehicles cannot overtake. This means that heavy vehicles cannot saturate the whole road space, while light vehicles can. In these conditions, the creeping phenomenon can appear, i.e., one class of vehicles can proceed even if the other class has reached the maximal density. The first model we propose couples two first-order macroscopic LWR models, while the second model couples a second-order microscopic follow-the-leader model with a first-order macroscopic LWR model. Numerical results show that both models are able to catch some second-order (inertial) phenomena such as stop and go waves. Models are calibrated by means of real data measured by fixed sensors placed along the A4 Italian highway Trieste–Venice and its branches, provided by Autovie Venete S.p.A.

Synthesis of the process of training of technological commands and auxiliary operations of cyclic electro-automatics when programming multipurpose equipment in the complex of operating systems CNC and PLC

2021 ◽  
pp. 40-44
Author(s):  
YU.N. Kurnasov E.V. Bugrov ◽  
E.V. Kurnasov
Keyword(s):  
Operating Systems ◽  
Control Program ◽  
Control Device ◽  
Numerical Control ◽  
Technological Equipment ◽  
Cnc Machine ◽  
Graphical Programming ◽  
Control Programs ◽  
G Code ◽  
The Subject

A method for preparing technological conditions for programming and elements for implementing control programs of multipurpose technological equipment in the complex of operating systems of the CNC and PLC are proposed. The subject solution effectively combines the elements of parametric and graphical programming in the development of both CNC and PLC subprograms. Keywords: control program, algorithmic programming, G-code, numerical control device, programmable logic controller, electroautomatics, technological equipment, CNC machine. [email protected]

scholarly journals Systemic Design for Second-Order Effects

2017 ◽  
Vol 10 (1) ◽  
Author(s):  
Evan Barba
Keyword(s):  
Organizational Change ◽  
Systems Approach ◽  
Core Competency ◽  
Second Order ◽  
Order Effects ◽  
Classroom Intervention ◽  
Second Order Effects ◽  
Design Skills ◽  
Systemic Design

Second-order effects refer to changes within a system that are the result of changes made somewhere else in the system (the first-order effects). Second-order effects can occur at different spatial, temporal, or organizational scales from the original interventions, and are difficult to control. Some organizational theorists suggest that careful management of feedback processes can facilitate controlled change from one organizational configuration to another. Recognizing that skill in managing feedback processes is a core competency of design suggests that design skills are potentially useful tools in achieving organizational change. This paper describes a case study in which a co-design methodology was used to control the second-order effects resulting from a classroom intervention to create organizational change. This approach is then theorized as the Instigator Systems approach.

A case study in bifurcation theory

2017 ◽  
Vol 28 (08) ◽  
pp. 1750104 ◽  
Author(s):  
Youssef Khmou
Keyword(s):  
Dynamical Systems ◽  
Bifurcation Theory ◽  
Chaotic Behavior ◽  
Numerical Study ◽  
Logistic Map ◽  
Logistic Function ◽  
Second Order ◽  
Short Paper ◽  
Chaotic Region

This short paper is focused on the bifurcation theory found in map functions called evolution functions that are used in dynamical systems. The most well-known example of discrete iterative function is the logistic map that puts into evidence bifurcation and chaotic behavior of the topology of the logistic function. We propose a new iterative function based on Lorentizan function and its generalized versions, based on numerical study, it is found that the bifurcation of the Lorentzian function is of second-order where it is characterized by the absence of chaotic region.

scholarly journals Evaluation the Pulmonary Tuberculosis Control Program with Strategy DOTS in Puskesmas Tanah Kalikedinding Surabaya

2014 ◽  
Vol 2 (2) ◽  
pp. 251
Author(s):  
Adistha Eka Noveyani ◽  
Santi Martini
Keyword(s):  
Pulmonary Tuberculosis ◽  
Health Center ◽  
Control Program ◽  
Tuberculosis Patient ◽  
Tuberculosis Control ◽  
Control Programs ◽  
Department Of Health ◽  
Inhibiting Factor ◽  
Rate Evaluation ◽  
Almost All

ABSTRACTStrategy DOTS is the tuberculosis control programs. The program has implemented in Tanah Kalikedinding Health Center and has expected to reach CDR ≥ 70% and SR ≥ 85%, which closely related to the management of health centers. This study aimed to evaluate the implementation of the DOTS program in health center whose the results associated with indicators of tuberculosis. This was a descriptive design study with the population was all pulmonary specialist, tuberculosis officers and laboratory personnel and pulmonary tuberculosis patients. The number of Tuberculosis patient respondents was 32 respondents. Samples were chosen using purposive sampling. Data collected by interview questionnaire and checklist. The variables were the finding case, the TB treatment, the enabling factor and inhibiting factor, recording and reporting, and result of tuberculosis indicators. This study resulted that CDR in 2013 was 112% already reached the national target ≥ 70%. This success related to the finding case almost all patients > 2 weeks of cought and all (100%) patients were examinated sputum and diagnosed according to the steps of tuberculosis diagnosis in Indonesia Department of Health guidelines. While SR in 2013 was 65.5% did not reach the target ≥ 85%. It was caused of there are patients who did not have a taking drug observer (PMO). All (100%) patients ever forgot taking anti tuberculosis drugs. Change in schedule of visit to the continuation phase be 2×/month caused patients to forget taking anti tuberculosis drugs. The enabling factor was counseling routinely by health care workers in health center. Inhibiting factor was distance to health center by majority (65,5%) patients were > 1 km. So they needed vehicle to go to the health center. Recording and reporting using electronic systems and being reported by online. So it is expected all TB patients were expected have a taking drug observer and optimizing the role of the a taking drug observer to increase success rate.Keywords: DOTS strategy, Case Detection Rate, Success Rate, evaluation,                     Tuberculosis

scholarly journals ANÁLISE DE SEGUNDA ORDEM DE ESTRUTURAS EM CONCRETO ARMADO

2021 ◽  
Vol 9 (206) ◽  
pp. 1-23
Author(s):  
Ailton Queiroz Junior ◽  
Antonio Ribeiro Santos Junior
Keyword(s):  
Global Stability ◽  
Second Order ◽  
Bending Moments ◽  
Mobile Nodes ◽  
Analysis Software ◽  
Structural Details ◽  
Overall Stability ◽  
Complex Structural ◽  
Bracing System

With the expressive increase in the demand for increasingly tall and robust constructions, plus more and more complex structural details that end up becoming a key element for the projects of the structures of the undertakings, it is important to consider the efforts made by the reinforced concrete structures are subjected. In this sense, the present work has as objective the approach of the parameters of global stability a and Yz followed by the verification of the efforts on the pavements and the displacements of the building caused by the loads acting on the structure. In this work, the use of the global stability parameter a and Yz, which is of fundamental relevance and also prescribed in NBR 6118 (ABNT, 2014), was evaluated. The use of the parameter a considered for the evaluation of the overall stability of the structure, but which is not capable of estimating second order efforts, allows us to classify a structure as being of fixed or mobile nodes. The Yz parameter, on the other hand, can be used to obtain second order efforts. To carry out this work, a case study was launched in the structural analysis software Ftool. The present analysis carried out showed that it is possible to conceive a bracing system for a building with up to 30 floors, using the pillar-wall solution having as a substitute resource for the aforementioned solution the solution of frames formed by beams and columns addressed continuously by tall building literature. Therefore, it is worth mentioning that the solution with wall pillars tends to be more expensive than the solution with frames, a system adopted in the development of this work due to the economic viability of the construction, in view of a higher consumption of materials in the superstructure and also higher costs in the construction. execution of foundations, due to the efforts that will be generated in the building (horizontal forces and bending moments).

scholarly journals Community involvement in developing comprehensive cardiovascular control programs: a case study in North Karelia, Finland

1983 ◽  
pp. 75-98
Author(s):  
Jaakko Tuomilehto ◽  
Liisa Neittaanmäki ◽  
Pekka Puska ◽  
Aulikki Nissinen ◽  
Jukka T. Salonen
Keyword(s):  
Community Involvement ◽  
Cardiovascular Control ◽  
Control Programs

scholarly journals Optimization of control program for CNC machines with regarding dynamic stability of cutting process and optimum modes of treatment in conditions of digital production

2018 ◽  
Vol 226 ◽  
pp. 04016
Author(s):  
Yuri G. Kabaldin ◽  
Dmitrii A. Shatagin ◽  
Pavel V. Kolchin
Keyword(s):  
Neural Network ◽  
Artificial Intelligence ◽  
Neural Networks ◽  
Dynamic Stability ◽  
Control Program ◽  
Cutting Process ◽  
Cnc Machines ◽  
Control Programs ◽  
Digital Production ◽  
Optimizing Control

The method for optimizing control programs for CNC machines based on artificial intelligence approaches, in particular, the apparatus of artificial neural networks, is outlined. A neural network model of the dynamic stability of the cutting process is proposed, which makes it possible to simulate the dynamics of the cutting process using the CAM system.

Sign in / Sign up

Export Citation Format

Share Document