EvaSylv: A user-friendly software to evaluate forestry scenarii including natural risk

Forest management relies on the evaluation of silviculture practices. The increase in natural risk due to climate change makes it necessary to consider evaluation criteria that take natural risk into account. Risk integration in existing software requires advanced programming skills.We propose a user-friendly software to simulate even-aged and monospecific forest at the stand level, in order to evaluate and optimize forest management. The software gives the possibility to run management scenarii with or without considering the impact of natural risk. The control variables are the dates and rates of thinning and the cutting age.The risk model is based on a Poisson processus. The Faustmann approach, including tree damage risk, is used to evaluate future benefits, economic or ecosystem services. It relies on the calculation of expected values, for which a dedicated mathematical development has been done. The optimized criteria used to evaluate the various scenarii are the Faustmann value and the Averaged yield value.We illustrate the approach and the software on two case studies: economic optimization of a beech stand and carbon sequestration optimization of a pine stand.Software interface makes it easy for users to write their own (growth-tree damage-economic) models without advanced programming skills. The possibility to run management scenarii with/without considering the impact of natural risk may contribute improving silviculture guidelines and adapting them to climate change. We propose future lines of research and improvement

Transglutaminase 2 in human diseases

K

A Supervisory Control Synthesis Case Study: The Antenna Control System

We devised an algorithm for deriving controllers for timed discrete-event systems with nonterminating behavior modeled by timed transition graphs and control requirements expressed by Metric Temporal Logic (MTL) formulas. This algorithm has several interesting features. Firstly, it simultaneously handles the issues of controllability, safety, liveness, and real time in a single framework. Secondly, time and space complexity of the algorithm is reduced thanks to ingenious search and representation techniques. This algorithm has a general character and is implemented in a system called Temporal Controller Synthesis Tool (TCST). In our research, there is a strong commitment to the application of theoretical research results. We validated our algorithm through case studies. This is very important for assessing its realism. This paper presents the application of our algorithm to the derivation of a controller for an Antenna Rotor Control System (ARCS). The ARCS is responsible for orienting ..

Synthesizing plant controllers using real-time goals

This paper introduces a novel planning method for reactive agents. Our planning method handles, in a single framework, issues from AI, control theory, and concurrency that have so far been considered apart. These issues are mostly controllability, safety, bounded liveness, and real time. Our approach is founded on the supervisory control theory and on Metric Temporal Logic (MTL). The highlights of our method consist of a new technique for incrementally checking MTL goal formulas over sequences of states generated by actions and a new method for backtracking during search by taking into account uncontrollable actions.

A Multimedia On-line Assistance System with Safe Remote Control of Applications

This paper tackles the problem of efficiently helping software end users. Assistance to end users has become increasingly critical to the productivity of organizations. The cost of a person or a group of people that provides assistance is substantial. Besides, safety and confidentiality of end-user information are often compromised when assistance is provided. Remote assistance using remote-control and visualization software is one of the means to efficiently provide assistance to end users. Several software systems have been proposed to take the control of remote computers and applications, but few of them take into account human aspects and guarantee security and confidentiality of information. Consideration of these elements is necessary for practical remote resolution of problems. Using concepts from the field of groupware and remote control of computers, we have devised software to provide remote assistance to end users while insuring security and confidentiality of information as..

Planning Control Rules for Reactive Agents

A traditional approach for planning is to evaluate goal statements over state trajectories modeling predicted behaviors of an agent. This paper describes a powerful extension of this approach for handling complex goals for reactive agents. We describe goals by using a modal temporal logic that can express quite complex time, safety, and liveness constraints. Our method is based on an incremental planner algorithm that generates a reactive plan by computing a sequence of partially satisfactory reactive plans converging to a completely satisfactory one. Partial satisfaction means that an agent controlled by the plan accomplishes its goal only for some environment events. Complete satisfaction means that the agent accomplishes its goal whatever environment events occur during the execution of the plan. As such, our planner can be stopped at any time to yield a useful plan. An implemented prototype is used to evaluate our planner on empirical problems. Keywords: Planning, control, reactiv..