Filters








14,557 Hits in 10.9 sec

Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis

H. Marchand, E. Rutten
Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002  
Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis. Abstract Real-time control systems are complex to design, and automation support is important.  ...  We are interested in systems with multiple tasks, each with multiple modes, implementing a functionality with different levels of quality (e.g., computation approximation), and cost (e.g., computation  ...  This kind of control, managing mode switches according to criteria of time cost and quality level, is what we want to obtain automatically, through discrete control synthesis.  ... 
doi:10.1109/emrts.2002.1019204 dblp:conf/ecrts/MarchandR02 fatcat:oxkimje6wzccxfexwhxo5mcxu4

Automatic generation of safe handlers for multi-task systems

Eric Rutten, Hervé Marchand
2009 Journal of Embedded Computing  
The design of real-time control systems involves different aspects like e.g., device (sensor and actuator) management, numerical computation, and the discrete, event-based switching between modes of activity  ...  We propose a model of tasks in terms of transition systems, designed especially with the purpose of applying existing discrete controller synthesis techniques.  ...  This kind of control, managing mode switches according to criteria of time cost and quality level, is what we want to obtain automatically, through discrete control synthesis. ..C2 1 , C1 2 C1  ... 
doi:10.3233/jec-2009-0097 fatcat:xtzp4fztpbhzzc4hadjce6a2he

Reactive control of adaptive embedded systems

Eric Rutten
2008 Proceedings of the 7th workshop on Reflective and adaptive middleware - ARM '08  
This position paper aims at drawing the attention of the autonomic computing community towards the existence of control solutions in discrete controller synthesis (DCS), and of programming languages and  ...  The management of this dynamical adaptivity, as in autonomic systems, can be considered as a control loop, on continuous or discrete criteria.  ...  ., synchronous, and automated algorithms for verification e.g., by model checking, or synthesis e.g., using discrete controller synthesis (DCS). Statement.  ... 
doi:10.1145/1462716.1462724 dblp:conf/middleware/Rutten08 fatcat:o2zpm3gwj5dtdkdcllefuofqkq

A Case Study on Controller Synthesis for Data-Intensive Embedded Systems

Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten
2009 2009 International Conference on Embedded Software and Systems  
meeting quality of service requirements.  ...  The resulting model is then transformed into a synchronous program from which a controller is synthesized by using a formal technique, in order to enforce the safe behavior of the modeled application while  ...  Such modeling formalisms have been applied to describe the control behavior of multi-task systems, where multiple modes correspond to different resource management as well as QoS policies.  ... 
doi:10.1109/icess.2009.12 dblp:conf/icess/GamatieYDR09 fatcat:6ipraialmzgtthzntc6pzxzhii

OPTIMAL DISCRETE CONTROLLER SYNTHESIS FOR MODELING FAULT-TOLERANT DISTRIBUTED SYSTEMS

E. Dumitrescu, A. Girault, H. Marchand, E. Rutten
2007 IFAC Proceedings Volumes  
We propose a safe design method for safe execution systems: it uses optimal discrete controller synthesis (DCS) to generate a correct reconfiguring fault-tolerant system.  ...  We use synchronous models, the Sigali symbolic DCS tool and Mode Automata.  ...  interest are the use of devices (sensors, co-processors), managing memory use, bounds on migration costs, minimum levels of quality, ...  ... 
doi:10.3182/20070613-3-fr-4909.00031 fatcat:vkwxt3qpl5cahbjgz2a52z44ri

Cosynthesis of energy-efficient multimode embedded systems with consideration of mode-execution probabilities

M.T. Schmitz, B.M. Al-Hashimi, P. Eles
2005 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
., multi-mode embedded systems.  ...  The energy savings are achieved through a suitable synthesis process that yields better hardware resource sharing opportunities for both cost and energy reduction.  ...  This work was supported in part by the UK Engineering and Physical Sciences Research Council (EPSRC), grant number GR/S95770/01.  ... 
doi:10.1109/tcad.2004.837729 fatcat:a2enjz5p7jci7m3j2mjkegnk5e

Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis

Alain Girault, Eric Rutten
2005 Electronical Notes in Theoretical Computer Science  
We propose a safe design method for safe execution systems: it uses discrete controller synthesis (DCS) to generate a correct reconfiguring system.  ...  We outline an implementation of our method, using the Sigali symbolic DCS tool and Mode Automata.  ...  are the use of devices (sensors, co-processors), managing memory use, bounds on migration costs, minimum levels of quality, ... • control in order to optimize the cost on transitions, modeling for instance  ... 
doi:10.1016/j.entcs.2004.08.059 fatcat:7npczfsuqvf5rfbt57wzryt3ne

Optimization of hydraulic modes of distribution heat networks by dynamic programming

Alexandr V. Lucenko, N.N. Novitsky, M.G. Sukharev, V.A. Stennikov, V.R. Chupin, L.B. Korelstein
2018 E3S Web of Conferences  
It is demonstrated that the proposed modification of the dynamic programming method has a high computational efficiency in comparison with possible alternative methods of discrete-continuous optimization  ...  An original modification of the dynamic programming method is proposed, which is designed to optimize the hydraulic modes of distribution heat networks, based on special properties of the problem.  ...  Real-time management task is given enough attention, for example [6, 8, 9] . The tasks of reconstruction and development are devoted to a large number of works [10, 11] .  ... 
doi:10.1051/e3sconf/20183903003 fatcat:pt4heoq7bbc7liwhasadft6pkm

Discrete and Logico-Numerical Control for Dynamic Partial Reconfigurable FPGA-Based Embedded Systems: A Case Study

Soguy Mak-Kare Gueye, Gwenael Delaval, Eric Rutten, Jean-Philippe Diguet
2018 2018 IEEE Conference on Control Technology and Applications (CCTA)  
This paper contributes with (i) generic modeling of the behaviors and objectives ; (ii) applications of Discrete Controller Synthesis (DCS), especially logico-numerical control ; (iii) concrete implementation  ...  platform) are modeled with automata, using the tools Heptagon/BZR and ReaX.  ...  In this paper, to deal with the logical control problems, we use Discrete Controller Synthesis (DCS) [13] , through a reactive language and tool, Heptagon/BZR [6] and ReaX [3] , which provides us with  ... 
doi:10.1109/ccta.2018.8511552 dblp:conf/ccta/GueyeDRD18 fatcat:c5kzchoyqfegbhk2xk3nzyqm7q

AI-Augmented Multi Function Radar Engineering with Digital Twin: Towards Proactivity [article]

Mathieu Klein, Thomas Carpentier, Eric Jeanclaude, Rami Kassab, Konstantinos Varelas, Nico de Bruijn, Frédéric Barbaresco, Yann Briheche, Yann Semet, Florence Aligne
2020 arXiv   pre-print
Innovative optimization algorithms in the discrete and continuous domains, coupled with a radar Digital Twins, allowed construction of a generic tool for "search" mode design (beam synthesis, waveform  ...  and volume grid) compliant with the available radar time budget.  ...  Beam synthesis, waveform generation and scan pattern optimization can be used to minimize the required time-budget of radar scanning (search) modes, thus freeing resources for other tasks.  ... 
arXiv:2006.12384v1 fatcat:m3avq6cmf5b7xmw5uqncskdn3e

OPTIMIZATION TASKS FOR CONTROLLING AN ERGATIC ELECTRIC POWER SYSTEMS

O. Y. Churina
2019 Electronics and Control Systems  
This article discusses the optimization tasks of managing a complex control system of the electric power system.  ...  The problem of synthesizing the structure of the control system in the design of electrical systems using the optimization -simulation approach is considered.  ...  of the control system. 1 2 . , 1 2 . , ( ) { , [ , ( ( ), When designing energy systems, a multi-circuit optimization and simulation approach to the synthesis of the control system structure is used.  ... 
doi:10.18372/1990-5548.62.14382 fatcat:vmtgyi4wcre5jpwj7bt2whzx6i

Editorial for the special issue on "intelligent agent distributed signal processing for IoT"

Yong Jin, Yongjun Liu, Wen Si
2019 Journal of Ambient Intelligence and Humanized Computing  
Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.  ...  In the paper "Intelligent task allocation method based on improved QPSO in multi-agent system", an intelligent task allocation method based on improved quantum particle swarm optimization (QPSO) algorithm  ...  Simulation results show that this method can shorten the task completion time and balance the system load. This special issue has been made possible by the strong support of Prof.  ... 
doi:10.1007/s12652-019-01288-0 fatcat:6vetx5vclferhlktezzl5rqrau

Design and management of reconfigurable assembly lines in the automotive industry

Marcello Colledani, Dávid Gyulai, László Monostori, Marcello Urgo, Johannes Unglert, Fred Van Houten
2016 CIRP annals  
In this paper, a methodology for the design and reconfiguration management of modular assembly systems is proposed.  ...  In this context, the profitable management of the product, process and system co---evolution is of paramount importance for the company competitiveness.  ...  Last row reports the solution in which optimal solution for is used in every time bucket. The solutions are compared in terms of purchasing, reconfiguration, storage and operational costs.  ... 
doi:10.1016/j.cirp.2016.04.123 fatcat:xn37ku2wzjd6rbulxndcyd6hpu

Modeling of the management of the microwave grain drying process

Sergey Morozov, Konstantin Kuzmin, Denis Pogodin, Lyudmila Kochetkova, Anna Rogozhina, O. Kalinina
2019 E3S Web of Conferences  
Its capabilities and methods of development are shown, the structure of a mathematical model for management of the drying process and individual blocks is provided.  ...  It is noted that offered modeling of the grain drying process makes it possible to evaluate it as a technological process, as well as to show the possibility of its optimization.  ...  Introduction The task of finding the optimal modes of microwave installations operation is to find such laws of changes in control parameters that would ensure the best performance indicators of production  ... 
doi:10.1051/e3sconf/201911002142 fatcat:w4mgaotvzvbe7hcra5qi4jqvtm

Innovation and Entrepreneurship Talents Cultivating: Systematic Implementation Path of "Knowledge Interface and Ability Matching"

Liu Xin, He Le
2018 International Journal of Emerging Technologies in Learning (iJET)  
These problems included, firstly, innovative and entrepreneurial education mismatch with professional education and disconnect with practice.  ...  An optimized achievable path of achieving training objectives in a teaching system can be analyzed through a dynamic programming method.  ...  Radhakant Padhi, Nishant Unnikrishnan [6] contended that the analysis and synthesis of the optimal control system were important research directions in the nonlinear control field.  ... 
doi:10.3991/ijet.v13i08.9041 fatcat:h72kxi7rbnhytfpcbolxslatay
« Previous Showing results 1 — 15 out of 14,557 results