Sentence examples for based on formal models from inspiring English sources

Supervisory control theory deals with automated synthesis of provably correct models of supervisory controllers based on formal models of the system components and a formalization of the coordination requirements.

In this paper, we propose a design flow based on formal models that allows high-level synthesis under input/output timing constraints of DSP algorithms.

InRob guides the construction of services, based on formal models, aiming at the specifications of interoperability and robustness of test cases related to delays and time-outs of the messages exchanged in the interfaces of interconnected subsystems.

This practice, based on formal models and abstract principles applicable to different situations, runs counter to the current tendencies of the city, which is projected towards less formal, more flexible spatial order, favouring the passage from a strategic method towards an approach of the tactical type (De Certeau 1984).

It is not based on formal models as the new generation of health informatics standards suggests.

Some advances have been straightforward, such as new public health policies based on formal evolutionary models of antibiotic resistance and evolutionarily informed searches for genes that cause disease.

This type of studies is usually based on formal energy models, from which energy policy recommendations are derived.

The results described here are important for understanding the broader causes of criminal behavior and may suggest novel approaches to crime prevention based on formal ecological models (see also Bernasco 2009;Brantingham et al. 2012 Felson 2012 Felson

This paper proposes an integrated approach, based on formal graph-based models and methods, to handle both of these tasks.

The framework consists of three main parts: a descriptive model based on formal logic and characteristics properties model; a mathematical implementation through set theory and probabilistic approach; and an algorithm for design space evaluation and tolerancing.

A model based on formal theories of visual attention and attentional set shifting is proposed to account for these effects.