Results 21 to 30 of about 83,409 (250)
Non-blocking supervisory control for initialised rectangular automata [PDF]
, 2004 We consider the problem of supervisory control for a class of rectangular automata and more specifically for compact rectangular automata with uniform rectangular activity, i.e. initialised.
Spathopoulos, Michael P.
core +3 more sources
Algorithms, 2018 Long-term heart rate variability (HRV) analysis is useful as a noninvasive technique for autonomic nervous system activity assessment. It provides a method for assessing many physiological and pathological factors that modulate the normal heartbeat.
David Pang, Tomohiko Igasaki
doaj +1 more source
Robust Weighted Timed Automata and Games [PDF]
, 2013 Weighted timed automata extend timed automata with cost variables that can be used to model the evolution of various quantities. Although cost-optimal reachability is decidable (in polynomial space) on this model, it becomes undecidable on weighted ...
Markey, Nicolas +5 more
core +1 more source
CANA: A Python Package for Quantifying Control and Canalization in Boolean Networks
Frontiers in Physiology, 2018 Logical models offer a simple but powerful means to understand the complex dynamics of biochemical regulation, without the need to estimate kinetic parameters.
Rion B. Correia +6 more
doaj +1 more source
Reliability and Safety of Autonomous Systems Based on Semantic Modelling for Self-Certification
Robotics, 2021 A novel modelling paradigm for online diagnostics and prognostics for autonomous systems is presented. A model for the autonomous system being diagnosed is designed using a logic-based formalism. The model supports the run-time ability to verify that the
Osama Zaki +3 more
doaj +1 more source
History−Register Automata [PDF]
, 2013 Programs with dynamic allocation are able to create and use an unbounded number of fresh resources, such as references, objects, files, etc. We propose History-Register Automata (HRA), a new automata-theoretic formalism for modelling such programs. HRAs
Tzevelekos, Nikos +5 more
core +1 more source
Tabularia, 2021 The three large images that adorn folios 4v, 19v and 25v of the 12th-century cartulary have already been extensively studied and commented upon and continue to raise numerous problems of interpretation.
Jacques Le Maho
doaj +1 more source
Robust Controller Synthesis in Timed Automata [PDF]
, 2013 We consider the fundamental problem of Büchi acceptance in timed automata in a robust setting. The problem is formalised in terms of controller synthesis: timed automata are equipped with a parametrised game-based semantics that models the possible ...
Reynier, Pierre-Alain +7 more
core +1 more source
Algorithms, 2016 LR parsing is a popular parsing strategy for variants of Context-Free Grammar (CFG). It has also been used for mildly context-sensitive formalisms, such as Tree-Adjoining Grammar.
Laura Kallmeyer, Wolfgang Maier
doaj +1 more source
Single Valued Neutrosophic General Machine [PDF]
Neutrosophic Sets and Systems, 2022 In this paper, first of all, considering the notions of single-valued neutrosophic and general fuzzy automata we present the concept of single-valued neutrosophic general machine, to simplicity, SVNGM.
Marzieh Shamsizadeh
doaj +1 more source