Results 31 to 40 of about 2,393,674 (352)
Temporal Analysis and Classification of Sensor Signals
Sensors, 2023 Understanding the behaviour of sensors, and in particular, the specifications of multisensor systems, are complex problems. The variables that need to be taken into consideration include, inter alia, the application domain, the way sensors are used, and ...
Piotr Kosiuczenko
doaj +1 more source
Specification Mining over Temporal Data
Computers, 2023 Current specification mining algorithms for temporal data rely on exhaustive search approaches, which become detrimental in real data settings where a plethora of distinct temporal behaviours are recorded over prolonged observations.
Giacomo Bergami +2 more
doaj +1 more source
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics [PDF]
IEEE Conference on Decision and Control, 2019 We present a framework to synthesize control policies for nonlinear dynamical systems from complex temporal constraints specified in a rich temporal logic called Signal Temporal Logic (STL).
Iman Haghighi +3 more
semanticscholar +1 more source
Formalism-Driven Development: Concepts, Taxonomy, and Practice
Applied Sciences, 2022 Formal methods are crucial in program specification and verification. Instead of building cases to test functionalities, formal methods specify functionalities as properties and mathematically prove them. Nevertheless, the applicability of formal methods
Yepeng Ding, Hiroyuki Sato
doaj +1 more source
Mean-Payoff Games with ω-Regular Specifications
Games, 2022 Multi-player mean-payoff games are a natural formalism for modelling the behaviour of concurrent and multi-agent systems with self-interested players.
Julian Gutierrez +2 more
doaj +1 more source
Control Barrier Functions for Signal Temporal Logic Tasks
IEEE Control Systems Letters, 2019 The need for computationally-efficient control methods of dynamical systems under temporal logic tasks has recently become more apparent. Existing methods are computationally demanding and hence often not applicable in practice.
Lars Lindemann, Dimos V. Dimarogonas
semanticscholar +1 more source
Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications [PDF]
IEEE Transactions on robotics, 2019 In this article, we propose a framework for the control of mobile robots subject to temporal logic specifications using barrier functions. Complex task specifications can be conveniently encoded using linear temporal logic.
Mohit Srinivasan, S. Coogan
semanticscholar +1 more source
Information and Computation, 2021 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bruse, Florian, Lange, Martin
openaire +3 more sources
Formal Verification of Three-Valued Digital Waveforms
Моделирование и анализ информационных систем, 2019 We investigate a formal verification problem (mathematically rigorous correctness checking) for digital waveforms used in practical development of digital microelectronic devices (digital circuits) at early design stages.
Nina Yu. Kutsak, Vladislav V. Podymov
doaj +1 more source
STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems [PDF]
Int. J. Robotics Res., 2018 This article proposes a new highly scalable and asymptotically optimal control synthesis algorithm from linear temporal logic specifications, called STyLu S * for large-Scale optimal Temporal Logic Synthesis, that is designed to solve complex temporal ...
Y. Kantaros, M. Zavlanos
semanticscholar +1 more source