Imagen de Portada

Basilisk and Docker for Reproducible GN&C Simulation: A Workflow Reference

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Gupta, Anubhav
Formato:	Preprint
Publicado:	2026
Materias:	Systems and Control Instrumentation and Methods for Astrophysics Mathematical Software Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

HeylandCircle: A Computational Framework for the Geometric Reconstruction of the Heyland Circle Diagram
por: Gupta, Anubhav, et al.
Publicado: (2025)

cuHPX: GPU-Accelerated Differentiable Spherical Harmonic Transforms on HEALPix Grids
por: Cheng, Xiaopo, et al.
Publicado: (2025)

Interoperability From OpenTelemetry to Kieker: Demonstrated as Export from the Astronomy Shop
por: Reichelt, David Georg, et al.
Publicado: (2025)

Agent-based code generation for the Gammapy framework
por: Kostunin, Dmitriy, et al.
Publicado: (2025)

lintsampler: Easy random sampling via linear interpolation
por: Naik, Aneesh P., et al.
Publicado: (2024)

Docker Does Not Guarantee Reproducibility
por: Malka, Julien, et al.
Publicado: (2026)

GlycoPy: A CasADi-based Python Framework for Hierarchical Modeling, Optimization, and Control of Bioprocesses
por: Ma, Yingjie, et al.
Publicado: (2026)

On Simulation of Power Systems and Microgrid Components with SystemC-AMS
por: Bhadani, Rahul, et al.
Publicado: (2024)

Computing the Wave: Where the Gravitational Wave Community benefits from High-Energy Physics, and where it differs ?
por: Meyer-Conde, Marco, et al.
Publicado: (2025)

Using Large Language Models for Black-Box Testing of FMU-Based Simulations
por: Mughees, Abdullah, et al.
Publicado: (2026)

Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
por: Patel, Milin, et al.
Publicado: (2025)

Integrating UX Design in Astronomical Software Development: A Case Study
por: Grange, Yan G., et al.
Publicado: (2025)

PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator
por: Tehrani, Masoud Jamshidiyan, et al.
Publicado: (2025)

On Integrating Resilience and Human Oversight into LLM-Assisted Modeling Workflows for Digital Twins
por: P, Lekshmi, et al.
Publicado: (2026)

Experience converting a large mathematical software package written in C++ to C++20 modules
por: Bangerth, Wolfgang
Publicado: (2025)

A Theory-driven Interpretation and Elaboration of Verification and Validation
por: Kannan, Hanumanthrao, et al.
Publicado: (2025)

PyIT2FLS: A New Python Toolkit for Interval Type 2 Fuzzy Logic Systems
por: Haghrah, Amir Arslan, et al.
Publicado: (2019)

A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
por: Alexopoulos, Angelos, et al.
Publicado: (2025)

A Container-based Approach For Proactive Asset Administration Shell Digital Twins
por: Ellwein, Carsten, et al.
Publicado: (2025)

A SysML Profile for the Standardized Description of Processes during System Development
por: Beers, Lasse, et al.
Publicado: (2024)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
por: Krook, Jonas, et al.
Publicado: (2022)

A Modifiable Architectural Design for Commercial Greenhouses Energy Economic Dispatch Testbed
por: Clausen, Christian Skafte Beck, et al.
Publicado: (2024)

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
por: Gleirscher, Mario, et al.
Publicado: (2017)

SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
por: Lewis, Charles, et al.
Publicado: (2026)

TensorConvolutionPlus: A python package for distribution system flexibility area estimation
por: Chrysostomou, Demetris, et al.
Publicado: (2025)

Looking back and forward: A retrospective and future directions on Software Engineering for systems-of-systems
por: Cavalcante, Everton, et al.
Publicado: (2024)

APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems
por: Zacchi, João-Vitor, et al.
Publicado: (2025)

\texttt{DR-DAQP}: An Hybrid Operator Splitting and Active-Set Solver for Affine Variational Inequalities
por: Arnström, Daniel, et al.
Publicado: (2026)

Utilization of G-Programming Language for Educational Control Application: Case Study of Magnetic Levitation of Elastic Beam
por: Amr, Abdallah, et al.
Publicado: (2024)

Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
por: Schubert, Richard, et al.
Publicado: (2026)

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
por: Jayasuriya, Dinithi, et al.
Publicado: (2026)

The Necessity of a Holistic Safety Evaluation Framework for AI-Based Automation Features
por: Abbaspour, Alireza, et al.
Publicado: (2026)

ProOPF: Benchmarking and Improving LLMs for Professional-Grade Power Systems Optimization Modeling
por: Shen, Chao, et al.
Publicado: (2026)

Ladder Logic Translation using Large Language Models in Industrial Automation
por: Ogundare, Oluwatosin, et al.
Publicado: (2026)

Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
por: Parkash, Om, et al.
Publicado: (2026)

Streamlined Airborne Software Development for Large UAVs: From Unified Data Collection to Automated Code Generation
por: Sinitsyn, Viktor, et al.
Publicado: (2025)

ComplexVCoder: An LLM-Driven Framework for Systematic Generation of Complex Verilog Code
por: Zuo, Jian, et al.
Publicado: (2025)

Digital requirements engineering with an INCOSE-derived SysML meta-model
por: Wheaton, James S., et al.
Publicado: (2024)

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems
por: Deantoni, Julien, et al.
Publicado: (2024)

Skills Composition Framework for Reconfigurable Cyber-Physical Production Modules
por: Sidorenko, Aleksandr, et al.
Publicado: (2024)