Imagen de Portada

Formal Simulation and Visualisation of Hybrid Programs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Mendes, Pedro, Correia, Ricardo, Neves, Renato, Proença, José
Formato:	Preprint
Publicado:	2024
Materias:	Systems and Control Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Sistemas de control basados en el estandar grafcet para la alteracion de bombas centrifugas
por: Guevara, Andres, et al.
Publicado: (2024)

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
por: Lin, Shaokai, et al.
Publicado: (2024)

Data-Driven Template-Free Invariant Generation
por: Xia, Yuan, et al.
Publicado: (2023)

TickTalk -- Timing API for Dynamically Federated Cyber-Physical Systems
por: Iannucci, Bob, et al.
Publicado: (2019)

Compiling OpenSCENARIO 2.1 for Scenario-Based Testing in CARLA
por: Gamage, Thoshitha, et al.
Publicado: (2026)

Directed Testing of ORAN using a Partially Specified Declarative Digital Twin
por: Gatherer, Alan, et al.
Publicado: (2024)

Dual-Use Commercial and Military Communications on a Single Platform using RAN Domain Specific Language
por: Gatherer, Alan, et al.
Publicado: (2024)

$\partial$CBDs: Differentiable Causal Block Diagrams
por: Beckers, Thomas, et al.
Publicado: (2026)

QuCtrl-BELL: A Compiler-Driven Sub-Microsecond Feedback Control Stack for Scalable Trapped-Ion Quantum Experiments
por: She, Junpeng, et al.
Publicado: (2026)

Formally verified asymptotic consensus in robust networks
por: Tekriwal, Mohit, et al.
Publicado: (2022)

CorrectHDL: Agentic HDL Design with LLMs Leveraging High-Level Synthesis as Reference
por: Xu, Kangwei, et al.
Publicado: (2025)

Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
por: Wan, Hanlong, et al.
Publicado: (2025)

A Formal Modular Synthesis Approach for the Coordination of 3-D Robotic Construction with Multi-robots
por: Rosa, Marcelo, et al.
Publicado: (2025)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
por: Dane, Serra Z., et al.
Publicado: (2026)

Full LTL Synthesis over Infinite-state Arenas
por: Azzopardi, Shaun, et al.
Publicado: (2023)

From Uncertainty to Innovation: Wearable Prototyping with ProtoBot
por: Yıldırım, İhsan Ozan, et al.
Publicado: (2024)

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

Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling
por: Casadei, Roberto
Publicado: (2022)

A Mechatronic System for the Visualisation and Analysis of Orchestral Conducting
por: Coates, Courtney, et al.
Publicado: (2024)

A 10.8mW Mixed-Signal Simulated Bifurcation Ising Solver using SRAM Compute-In-Memory with 0.6us Time-to-Solution
por: Dee, Alana Marie, et al.
Publicado: (2025)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
por: Cauchi, Nathalie, et al.
Publicado: (2019)

Switching Controller Synthesis for Hybrid Systems Against STL Formulas
por: Su, Han, et al.
Publicado: (2024)

Enhancing LLMs for Power System Simulations: A Feedback-driven Multi-agent Framework
por: Jia, Mengshuo, et al.
Publicado: (2024)

SysCaps: Language Interfaces for Simulation Surrogates of Complex Systems
por: Emami, Patrick, et al.
Publicado: (2024)

Practical Formal Verification for MLIR Programs
por: Tucker, Emily, et al.
Publicado: (2026)

A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
por: Ambal, Guillaume, et al.
Publicado: (2025)

Cognacy Queries over Dependence Graphs for Transparent Visualisations
por: Bond, Joseph, et al.
Publicado: (2024)

StitchCUDA: An Automated Multi-Agents End-to-End GPU Programing Framework with Rubric-based Agentic Reinforcement Learning
por: Li, Shiyang, et al.
Publicado: (2026)

Bridging Natural Language and Microgrid Dynamics: A Context-Aware Simulator and Dataset
por: Bartels, Tinko Sebastian, et al.
Publicado: (2026)

Two-Timescale Asymptotic Simulations of Hybrid Inclusions with Applications to Stochastic Hybrid Optimization
por: Crisafulli, Max F., et al.
Publicado: (2026)

Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints
por: Khalife, Elias, et al.
Publicado: (2025)

Object-Spatial Programming
por: Mars, Jason
Publicado: (2025)

From Algebraic Word Problem to Program: A Formalized Approach
por: Wiemerslage, Adam, et al.
Publicado: (2020)

Impact of Trip Distance Distribution Time Dependency and Aggregation Levels in Bathtub Models -- A Comparative Simulation Analysis
por: Guo, Jiayi, et al.
Publicado: (2024)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
por: Liu, Jun, et al.
Publicado: (2025)

Minuska: Towards a Formally Verified Programming Language Framework
por: Tušil, Jan, et al.
Publicado: (2024)

Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
por: Takayama, Yoshinari, et al.
Publicado: (2023)

Two-Player Zero-Sum Hybrid Games
por: Leudo, Santiago J., et al.
Publicado: (2024)

Linearly Controlled Language Generation with Performative Guarantees
por: Cheng, Emily, et al.
Publicado: (2024)

Large Language Models for Power Scheduling: A User-Centric Approach
por: Mongaillard, Thomas, et al.
Publicado: (2024)