Image de couverture de livre

Sistemas de control basados en el estandar grafcet para la alteracion de bombas centrifugas

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Guevara, Andres, Achury, Juan, Sierra, Juan, Benavides, Sebastian
Format:	Preprint
Publié:	2024
Sujets:	Systems and Control Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Formal Simulation and Visualisation of Hybrid Programs
par: Mendes, Pedro, et autres
Publié: (2024)

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
par: Lin, Shaokai, et autres
Publié: (2024)

Data-Driven Template-Free Invariant Generation
par: Xia, Yuan, et autres
Publié: (2023)

TickTalk -- Timing API for Dynamically Federated Cyber-Physical Systems
par: Iannucci, Bob, et autres
Publié: (2019)

Compiling OpenSCENARIO 2.1 for Scenario-Based Testing in CARLA
par: Gamage, Thoshitha, et autres
Publié: (2026)

Directed Testing of ORAN using a Partially Specified Declarative Digital Twin
par: Gatherer, Alan, et autres
Publié: (2024)

Dual-Use Commercial and Military Communications on a Single Platform using RAN Domain Specific Language
par: Gatherer, Alan, et autres
Publié: (2024)

$\partial$CBDs: Differentiable Causal Block Diagrams
par: Beckers, Thomas, et autres
Publié: (2026)

QuCtrl-BELL: A Compiler-Driven Sub-Microsecond Feedback Control Stack for Scalable Trapped-Ion Quantum Experiments
par: She, Junpeng, et autres
Publié: (2026)

CorrectHDL: Agentic HDL Design with LLMs Leveraging High-Level Synthesis as Reference
par: Xu, Kangwei, et autres
Publié: (2025)

Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
par: Wan, Hanlong, et autres
Publié: (2025)

Full LTL Synthesis over Infinite-state Arenas
par: Azzopardi, Shaun, et autres
Publié: (2023)

From Uncertainty to Innovation: Wearable Prototyping with ProtoBot
par: Yıldırım, İhsan Ozan, et autres
Publié: (2024)

Don't Vibe Code, Do Skele-Code: Interactive No-Code Notebooks for Subject Matter Experts to Build Lower-Cost Agentic Workflows
par: Gopalakrishnan, Sriram
Publié: (2026)

Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling
par: Casadei, Roberto
Publié: (2022)

A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
par: Ambal, Guillaume, et autres
Publié: (2025)

Over-approximation of weakly-hard constraints for control systems verification (Extended)
par: de Maeyer, Rieke, et autres
Publié: (2026)

PD-Based and SINDy Nonlinear Dynamics Identification of UAVs for MPC Design
par: Guevara, Bryan S., et autres
Publié: (2024)

Formally verified asymptotic consensus in robust networks
par: Tekriwal, Mohit, et autres
Publié: (2022)

Linearly Controlled Language Generation with Performative Guarantees
par: Cheng, Emily, et autres
Publié: (2024)

Large Language Models for Power Scheduling: A User-Centric Approach
par: Mongaillard, Thomas, et autres
Publié: (2024)

Understanding 6G through Language Models: A Case Study on LLM-aided Structured Entity Extraction in Telecom Domain
par: Yuan, Ye, et autres
Publié: (2025)

Enhancing Hallucination Detection through Noise Injection
par: Liu, Litian, et autres
Publié: (2025)

Processing Natural Language on Embedded Devices: How Well Do Transformer Models Perform?
par: Sarkar, Souvika, et autres
Publié: (2023)

A 10.8mW Mixed-Signal Simulated Bifurcation Ising Solver using SRAM Compute-In-Memory with 0.6us Time-to-Solution
par: Dee, Alana Marie, et autres
Publié: (2025)

Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite
par: English, William H, et autres
Publié: (2025)

Language-Aided State Estimation
par: Miyoshi, Yuki, et autres
Publié: (2025)

Bridging Natural Language and Microgrid Dynamics: A Context-Aware Simulator and Dataset
par: Bartels, Tinko Sebastian, et autres
Publié: (2026)

Quantitative Verification with Neural Networks
par: Abate, Alessandro, et autres
Publié: (2023)

Organic Electrochemical Neurons: Nonlinear Tools for Complex Dynamics
par: Rivera-Sierra, Gonzalo, et autres
Publié: (2025)

Learning-based decentralized control with collision avoidance for multi-agent systems
par: Nieto, Omayra Yago, et autres
Publié: (2025)

Reinforcement learning for robust dynamic metabolic control
par: Espinel-Ríos, Sebastián, et autres
Publié: (2025)

Multi-Agent Consensus Seeking via Large Language Models
par: Chen, Huaben, et autres
Publié: (2023)

Comparison and performance analysis of dynamic encrypted control approaches
par: Schlor, Sebastian, et autres
Publié: (2025)

Enhanced UAV Navigation Systems through Sensor Fusion with Trident Quaternions
par: Incicco, Sebastian, et autres
Publié: (2025)

Dual-quaternion learning control for autonomous vehicle trajectory tracking with safety guarantees
par: Nieto, Omayra Yago, et autres
Publié: (2026)

Model Predictive Contouring Control with Barrier and Lyapunov Functions for Stable Path-Following in UAV systems
par: Guevara, Bryan S., et autres
Publié: (2024)

Promising and worth-to-try future directions for advancing state-of-the-art surrogates methods of agent-based models in social and health computational sciences
par: Elsheikh, Atiyah
Publié: (2024)

Enhancing LLMs for Power System Simulations: A Feedback-driven Multi-agent Framework
par: Jia, Mengshuo, et autres
Publié: (2024)

Modelling and Analysis of Supply Chains using Product Time Petri Nets
par: Lubat, Eric, et autres
Publié: (2026)