Results 11 to 20 of about 48,852 (268)
Computing Parameterized Invariants of Parameterized Petri Nets [PDF]
Fundamenta Informaticae, 2021 A fundamental advantage of Petri net models is the possibility to automatically compute useful system invariants from the syntax of the net. Classical techniques used for this are place invariants, P-components, siphons or traps. Recently, Bozga et al.
Javier Esparza +2 more
openaire +3 more sources
Vectorial parameterizations of pose [PDF]
Robotica, 2021 AbstractRobotics and computer vision problems commonly require handling rigid-body motions comprising translation and rotation – together referred to aspose. In some situations, avectorialparameterization of pose can be useful, where elements of a vector space are surjectively mapped to a matrix Lie group.
Timothy D. Barfoot +2 more
openaire +2 more sources
Advances in Applied Clifford Algebras, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lars Tingelstad, Olav Egeland
openaire +3 more sources
Logical Methods in Computer Science, 2012 We study the synthesis problem for distributed architectures with a parametric number of finite-state components. Parameterized specifications arise naturally in a synthesis setting, but thus far it was unclear how to detect realizability and how to perform synthesis in a parameterized setting.
Swen Jacobs, Roderick Bloem
openaire +5 more sources
Parameterized Games and Parameterized Automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 In Proceedings GandALF 2018, arXiv:1809 ...
openaire +4 more sources
Parameterizing Path Partitions
Theoretical Computer Science, 2023 We study the algorithmic complexity of partitioning the vertex set of a given (di)graph into a small number of paths. The Path Partition problem (PP) has been studied extensively, as it includes Hamiltonian Path as a special case. The natural variants where the paths are required to be either \emph{induced} (Induced Path Partition, IPP) or \emph ...
Henning Fernau +4 more
openaire +5 more sources
Parameterized verification [PDF]
International Journal on Software Tools for Technology Transfer, 2016 The goal of parameterized verification is to prove the correctness of a system specification regardless of the number of its components. The problem is of interest in several different areas: verification of hardware design, multithreaded programs, distributed systems, and communication protocols. The problem is undecidable in general.
Abdulla, Parosh A, DELZANNO, GIORGIO
openaire +2 more sources
Remote Sensing, 2019 Surface downward longwave radiation (DLR) is a crucial component in Earth’s surface energy balance. Yu et al. (2013) developed a parameterization for retrieving clear-sky DLR at high spatial resolution by combined use of satellite thermal infrared (
Shanshan Yu +4 more
doaj +1 more source
Frontiers in Marine Science, 2023 The turbulent exchanges, or fluxes, of heat, moisture and momentum between the atmosphere and the ocean play a crucial role in the Earth’s climate system.
Stavroula Biri +5 more
doaj +1 more source
Adaptive robot climbing with magnetic feet in unknown slippery structure
Frontiers in Robotics and AI, 2022 Firm foot contact is the top priority of climbing robots to avoid catastrophic events, especially when working at height. This study proposes a robust planning and control framework for climbing robots that provides robustness to slippage in unknown ...
Jee-eun Lee +2 more
doaj +1 more source