Attack-Resilient Supervisory Control of Discrete-Event Systems: A Finite-State Transducer Approach
IEEE Open Journal of Control Systems, 2023 Resilience to sensor and actuator attacks is a major concern in the supervisory control of discrete events in cyber-physical systems (CPS). In this work, we propose a new framework to design supervisors for CPS under attacks using finite-state ...
Yu Wang +3 more
doaj +1 more source
Improving Low-Resource Morphological Learning with Intermediate Forms from Finite State Transducers
Proceedings of the Workshop on Computational Methods for Endangered Languages, 2019 Neural encoder-decoder models are usually applied to morphology learning as an end-to-end process without considering the underlying phonological representations that linguists posit as abstract forms before morphophonological rules are applied.
Sarah Moeller +3 more
semanticscholar +1 more source
Weighted finite-state transducers for normalization of historical texts
Natural Language Engineering, 2019 This paper presents a study about methods for normalization of historical texts. The aim of these methods is learning relations between historical and contemporary word forms.
Izaskun Etxeberria +2 more
semanticscholar +1 more source
From Two-Way to One-Way Finite State Transducers [PDF]
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013 Any two-way finite state automaton is equivalent to some one-way finite state automaton. This well-known result, shown by Rabin and Scott and independently by Shepherdson, states that two-way finite state automata (even non-deterministic) characterize ...
E. Filiot +3 more
semanticscholar +1 more source
Language Recovery in Discrete-Event Systems against Sensor Deception Attacks
Mathematics, 2023 Cyber-physical systems are characterized by the intrinsic combination of software and physical components that usually include (wired and wireless) communication devices, sensors, actuators, and control processing units. Some wireless devices communicate
Abdeldjalil Labed +5 more
doaj +1 more source
Arabic diacritization using weighted finite-state transducers [PDF]
, 2005 Arabic is usually written without short vowels and additional diacritics, which are nevertheless important for several applications. We present a novel algorithm for restoring these symbols, using a cascade of probabilistic finite- state transducers ...
Nelken, Rani, Shieber, Stuart
core +3 more sources
Putting Encyclopaedia Knowledge into Structural Form: Finite State Transducers Approach
Journal of Integrative Bioinformatics, 2011 In biology and functional genomics in particular, understanding the dependence and interplay between different genome and ecological characteristics of organisms is a very challenging problem.
Pajić Vesna
doaj +1 more source
On the Model Checking Problem for Some Extension of CTL*
Моделирование и анализ информационных систем, 2020 Sequential reactive systems include programs and devices that work with two streams of data and convert input streams of data into output streams. Such information processing systems include controllers, device drivers, computer interpreters.
Anton Romanovich Gnatenko +1 more
doaj +1 more source
Characterisation of the polarisation state of embedded piezoelectric transducers by thermal waves and thermal pulses [PDF]
Journal of Sensors and Sensor Systems, 2016 In this work, we apply the thermal wave method and the thermal pulse method for non-destructive characterisation of the polarisation state of embedded piezoelectric transducers. Heating the sample with a square-wave modulated laser beam or a single laser
A. Eydam, G. Suchaneck, G. Gerlach
doaj +1 more source
Some Novel Applications of Explanation-Based Learning to Parsing Lexicalized Tree-Adjoining Grammars [PDF]
, 1995 In this paper we present some novel applications of Explanation-Based Learning (EBL) technique to parsing Lexicalized Tree-Adjoining grammars. The novel aspects are (a) immediate generalization of parses in the training set, (b) generalization over ...
Joshi, Aravind, Srinivas, B.
core +5 more sources