NSTL国家科技图书文献中心

1. Tutorial: Consensus Algorithms from Classical to Blockchain: Quickly Program, Configure, Run, and Check NSTL国家科技图书文献中心

Yanhong A. Liu | Scott D. Stoller - 《2024 IEEE 44th International Conference on Distributed Computing Systems Workshops》 - IEEE International Conference on Distributed Computing Systems Workshops - 2024, - 1～4 - 共4页

摘要：This tutorial examines well-known algorithms for distributed consensus problems, from classical consensus to blockchain consensus. We discuss exact algorithms that are high-level as in pseudocode and ...

关键词： Conferences | Focusing | Tutorials | Consensus algorithm | Blockchains | Distributed computing | Distributed algorithms

2. Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements NSTL国家科技图书文献中心

Andreas Brandst?tter | Scott A. Smolka ... - 《2024 IEEE International Conference on Robotics and Automation: IEEE International Conference on Robotics and Automation (ICRA), 13-17 May 2024, Yokohama, Japan》 - IEEE International Conference on Robotics and Automation - 2024, - 12193～12200 - 共8页

摘要：We present distributed distance-based control (DDC), a novel approach for controlling a multi-agent system, such that it achieves a desired formation, in a resource-constrained setting. Our controller...

关键词： Location awareness | Dictionaries | Control systems | Distance measurement | Stability analysis | Robotics and automation | Physics

3. Integrating Logic Rules with Everything Else, Seamlessly NSTL国家科技图书文献中心

YANHONG A. LIU | SCOTT D. STOLLER ... - 《Theory and practice of logic programming》 - 2023,23(4) - 678～695 - 共18页 - 被引量：1

摘要：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 asset-va...

关键词： language design and implementation | logic rules | sets | comprehension | aggregation | quantification | functions | updates | objects | concurrent and distributed

4. Multi-Agent Spatial Predictive Control with Application to Drone Flocking NSTL国家科技图书文献中心

Andreas Brandst?tter | Scott A. Smolka ... - 《2023 IEEE International Conference on Robotics and Automation: ICRA 2023, London, United Kingdom, 29 May - 2 June 2023, [v.1]》 - IEEE International Conference on Robotics and Automation - 2023, - 1221～1227 - 共7页

摘要：We introduce Spatial Predictive Control (SPC), a technique for solving the following problem: given a collection of robotic agents with black-box positional low-level controllers (PLLCs) and a mission...

关键词： Computational modeling | Cost function | Robot sensing systems | Hardware | Stability analysis | Robustness | Sensors

5. Debugging Malware Classification Models Based on Event Logs with Explainable AI NSTL国家科技图书文献中心

Joon-Young Gwak | Priti Wakodikar ... - 《2023 IEEE International Conference on Data Mining Workshops: ICDMW 2023, Shanghai, China, 1-4 December 2023, [v.1]》 - IEEE International Conference on Data Mining Workshops - 2023, - 939～948 - 共10页

摘要：As machine learning models find broader applications in cybersecurity, the importance of model explainability becomes more evident. In the area of malware detection, where the consequence of misclassi...

关键词： Training | Analytical models | Data collection | Predictive models | Malware | Data models | Task analysis

6. Towards Drone Flocking Using Relative Distance Measurements NSTL国家科技图书文献中心

Andreas Brandstatter | Scott A. Smolka ... - 《Leveraging Applications of Formal Methods, Verification and Validation: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, p.3. Adaptation and Learning》 - International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - 2022, - 97～109 - 共13页

摘要：We introduce a method to form and maintain a flock of drones only based on relative distance measurements. This means our approach is able to work in GPS-denied environments. It is fully distributed a...

关键词： Drones | Quadcopters | Flock | Swarm | Distributed controller

7. Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding NSTL国家科技图书文献中心

Shouvik Roy | Usama Mehmood ... - 《2021 American Control Conference: American Control Conference (ACC), 25-28 May 2021, Online, New Orleans, LA, USA》 - Annual American Control Conference - 2021, - 2745～2750 - 共6页

摘要：We introduce the concept of Distributed Model Predictive Control (DMPC) with Acceleration-Weighted Neighborhooding (AWN) in order to synthesize a distributed and symmetric controller for high-speed fl...

关键词： Accelerated aging | Scalability | Decentralized control | Model checking | Turning | Delays | Collision avoidance

NSTL主题词： decentralised control | FLOCKING

8. A Distributed Simplex Architecture for Multi-agent Systems NSTL国家科技图书文献中心

Usama Mehmood | Scott D. Stoller ... - 《Dependable Software Engineering: Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings》 - International Symposium on Dependable Software Engineering: Theories, Tools, and Applications - 2021, - 239～257 - 共19页

摘要：We present the 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 architec...

关键词： Runtime assurance | Simplex architecture | Control barrier functions | Distributed flocking | Reverse switching

9. Knowledge of Uncertain Worlds: Programming with Logical Constraints NSTL国家科技图书文献中心

Yanhong A. Liu | Scott D. Stoller - 《Logical foundations of computer science: International symposium on logical foundations of computer science (LFCS 2020), January 4–7, 2020, Deerfield Beach, FL, USA》 - International symposium on logical foundations of computer science - 2020, - 111～127 - 共17页

摘要：Programming with logic for sophisticated applications must deal with recursion and negation, which have created significant challenges in logic, leading to many different, conflicting semantics of rul...

关键词： Datalog | Unrestricted negation and quantification | Meta-constraints | Founded semantics | Constraint semantics | Knowledge unit

NSTL主题词： logical | Programming | Plant uncertain | knowledge | Epistemology | Uncertainty | Constraint

10. Learning Distributed Controllers for V-Formation NSTL国家科技图书文献中心

Shouvik Roy | Usama Mehmood ... - 《2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems: IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2020), 17-21 Aug. 2020, Washington, DC, USA》 - IEEE International Conference on Autonomic Computing and Self-Organizing Systems - 2020, - 119～128 - 共10页

摘要：We show how a high-performing, fully distributed and symmetric neural V-formation controller can be synthesized from a Centralized MPC (Model Predictive Control) controller using Deep Learning. This r...

摘要：This tutorial examines well-known algorithms for distributed consensus problems, from classical consensus to blockchain consensus. We discuss exact algorithms that are high-level as in pseudocode and ...

关键词： Conferences | Focusing | Tutorials | Consensus algorithm | Blockchains | Distributed computing | Distributed algorithms

摘要：We present distributed distance-based control (DDC), a novel approach for controlling a multi-agent system, such that it achieves a desired formation, in a resource-constrained setting. Our controller...

关键词： Location awareness | Dictionaries | Control systems | Distance measurement | Stability analysis | Robotics and automation | Physics

摘要：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 asset-va...

关键词： language design and implementation | logic rules | sets | comprehension | aggregation | quantification | functions | updates | objects | concurrent and distributed

摘要：We introduce Spatial Predictive Control (SPC), a technique for solving the following problem: given a collection of robotic agents with black-box positional low-level controllers (PLLCs) and a mission...

关键词： Computational modeling | Cost function | Robot sensing systems | Hardware | Stability analysis | Robustness | Sensors

摘要：As machine learning models find broader applications in cybersecurity, the importance of model explainability becomes more evident. In the area of malware detection, where the consequence of misclassi...

关键词： Training | Analytical models | Data collection | Predictive models | Malware | Data models | Task analysis

摘要：We introduce a method to form and maintain a flock of drones only based on relative distance measurements. This means our approach is able to work in GPS-denied environments. It is fully distributed a...

关键词： Drones | Quadcopters | Flock | Swarm | Distributed controller

摘要：We introduce the concept of Distributed Model Predictive Control (DMPC) with Acceleration-Weighted Neighborhooding (AWN) in order to synthesize a distributed and symmetric controller for high-speed fl...

关键词： Accelerated aging | Scalability | Decentralized control | Model checking | Turning | Delays | Collision avoidance

NSTL主题词： decentralised control | FLOCKING

摘要：We present the 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 architec...

关键词： Runtime assurance | Simplex architecture | Control barrier functions | Distributed flocking | Reverse switching

摘要：Programming with logic for sophisticated applications must deal with recursion and negation, which have created significant challenges in logic, leading to many different, conflicting semantics of rul...

关键词： Datalog | Unrestricted negation and quantification | Meta-constraints | Founded semantics | Constraint semantics | Knowledge unit

NSTL主题词： logical | Programming | Plant uncertain | knowledge | Epistemology | Uncertainty | Constraint

摘要：We show how a high-performing, fully distributed and symmetric neural V-formation controller can be synthesized from a Centralized MPC (Model Predictive Control) controller using Deep Learning. This r...

关键词： Cost function | Acceleration | Training data | Convergence | Predictive control | Computer science

NSTL主题词： Controllers | Learning | Distribute

4008-161-200 800-990-8900

国家科技图书文献中心