Zobrazeno 1 - 10
of 203
pro vyhledávání: '"STOLLER, SCOTT D."'
Publikováno v:
EPTCS 385, 2023, pp. 12-26
Integrating logic rules with other language features is increasingly sought after for advanced applications that require knowledge-base capabilities. To address this demand, increasingly more languages and extensions for such integration have been de
Externí odkaz:
http://arxiv.org/abs/2308.15878
This paper presents a language, Alda, that supports all of logic rules, sets, functions, updates, and objects as seamlessly integrated built-ins. The key idea is to support predicates in rules as set-valued variables that can be used and updated in a
Externí odkaz:
http://arxiv.org/abs/2305.19202
Logic rules are powerful for expressing complex reasoning and analysis problems. At the same time, they are inconvenient or impossible to use for many other aspects of applications. Integrating rules in a language with sets and functions, and further
Externí odkaz:
http://arxiv.org/abs/2205.15204
We introduce the novel concept of Spatial Predictive Control (SPC) to solve the following problem: given a collection of agents (e.g., drones) with positional low-level controllers (LLCs) and a mission-specific distributed cost function, how can a di
Externí odkaz:
http://arxiv.org/abs/2203.16960
Autor:
Damare, Amol, Roy, Shouvik, Sharma, Roshan, DSouza, Keith, Smolka, Scott A., Stoller, Scott D.
We present Barrier-based Simplex (Bb-Simplex), a new, provably correct design for runtime assurance of continuous dynamical systems. Bb-Simplex is centered around the Simplex control architecture, which consists of a high-performance advanced control
Externí odkaz:
http://arxiv.org/abs/2202.09710
Publikováno v:
NASA Formal Methods (2022) 231-250
The Simplex Architecture is a runtime assurance framework where control authority may switch from an unverified and potentially unsafe advanced controller to a backup baseline controller in order to maintain the safety of an autonomous cyber-physical
Externí odkaz:
http://arxiv.org/abs/2102.12981
We present Distributed Simplex Architecture (DSA), a new runtime assurance technique that provides safety guarantees for multi-agent systems (MASs). DSA is inspired by the Simplex control architecture of Sha et al., but with some significant differen
Externí odkaz:
http://arxiv.org/abs/2012.10153
Autor:
Liu, Yanhong A., Stoller, Scott D.
Publikováno v:
RV 2020: Proceedings of the 20th International Conference on Runtime Verification. LNCS 12399. Pages 47-66. Springer
This paper presents a general framework and methods for complete programming and checking of distributed algorithms at a high-level, as in pseudocode languages, but precisely specified and directly executable, as in formal specification languages and
Externí odkaz:
http://arxiv.org/abs/2008.09735
Autor:
Bui, Thang, Stoller, Scott D.
Attribute-Based Access Control (ABAC) and Relationship-based access control (ReBAC) provide a high level of expressiveness and flexibility that promote security and information sharing, by allowing policies to be expressed in terms of attributes of a
Externí odkaz:
http://arxiv.org/abs/2008.08444
Autor:
Liu, Yanhong A., Stoller, Scott D.
Publikováno v:
Journal of Logic and Computation, 32(8):1659--1693, December 2022
Complex reasoning problems are most clearly and easily specified using logical rules, but require recursive rules with aggregation such as count and sum for practical applications. Unfortunately, the meaning of such rules has been a significant chall
Externí odkaz:
http://arxiv.org/abs/2007.13053