Abstract:The design and analysis of systems that combine computational behaviour with physical processes' continuous dynamics - such as movement, velocity, and voltage - is a famous, challenging task. Several theoretical results from programming theory emerged in the last decades to tackle the issue; some of which are the basis of a proof-of-concept tool, called Lince, that aids in the analysis of such systems, by presenting simulations of their respective behaviours. However being a proof-of-concept, the tool is quite limited with respect to usability, and when attempting to apply it to a set of common, concrete problems, involving autonomous driving and others, it either simply cannot simulate them or fails to provide a satisfactory user-experience. The current work complements the aforementioned theoretical approaches with a more practical perspective, by improving Lince along several dimensions: to name a few, richer syntactic constructs, more operations, more informative plotting systems and errors messages, and a better performance overall. We illustrate our improvements via a variety of examples that involve both autonomous driving and electrical systems.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the limitations of the existing tool Lince when dealing with hybrid systems. Specifically, as a proof - of - concept tool, Lince has the following problems when dealing with practical application scenarios (such as autonomous driving and electrical systems): 1. **Poor usability**: Lince lacks basic functions and is unable to handle a wide range of important scenarios. Especially when it comes to practical problems such as autonomous driving, it either fails to simulate these scenarios or provides a poor user experience. 2. **Limited operation**: The original version of Lince lacks the arithmetic operations required to handle basic tasks, such as square root, trigonometric functions, etc., which makes many practical problems unsolvable. 3. **Insufficient numerical methods**: Previous versions of Lince used accurate but poorly scalable methods to solve ordinary differential equations (ODEs), resulting in its inability to simulate standard hybrid programming scenarios. 4. **Limited visualization mechanism**: The visualization component of Lince can only show the behavior at a single time point and cannot well represent the trajectories in multi - dimensional space or the overall behavior under different initial conditions. To solve these problems, the paper proposes improvements to Lince, specifically including the following aspects: - **Expand basic operations**: Standard arithmetic operations such as division, trigonometric functions and square root extraction are added, and the operational semantics are extended to support the possibility of failure of some operations. - **Improve numerical methods**: A numerical solver is integrated. Although a certain degree of accuracy is sacrificed, the scalability and application range are improved. - **Enhance the visualization mechanism**: The visualization component is improved so that it can better represent the trajectories in multi - dimensional space and the system behavior under different initial conditions. Through these improvements, Lince can now handle complex hybrid system problems more effectively while maintaining its simplicity and theoretical basis.

Formal Simulation and Visualisation of Hybrid Programs

Modeling, Simulation and Automatic Verification of Hybrid Systems under Matlab Environment

A novel integrated architecture to X-in-the-loop simulation applied to ASV navigation

Collaborative Verification-Driven Engineering of Hybrid Systems

A Novel Integrated Simulation and Testing Platform for Self-Driving Cars with Hardware in the Loop.

Sim-on-Wheels: Physical World in the Loop Simulation for Self-Driving

Natural-language-driven Simulation Benchmark and Copilot for Efficient Production of Object Interactions in Virtual Road Scenes

An Approach for Modeling and Simulation of Virtual Sensors in Automatic Control Systems Using Game Engines and Machine Learning

CARLOS: An Open, Modular, and Scalable Simulation Framework for the Development and Testing of Software for C-ITS

A discrete-event simulation model for driver performance assessment: application to autonomous vehicle cockpit design optimization

Diagnosing and Predicting Autonomous Vehicle Operational Safety Using Multiple Simulation Modalities and a Virtual Environment

Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems

Realistic 3D Simulators for Automotive: A Review of Main Applications and Features

A Two-Way Path Between Formal And Informal Design Of Embedded Systems

SurrealDriver: Designing Generative Driver Agent Simulation Framework in Urban Contexts based on Large Language Model

Formal Design, Verification and Implementation of Robotic Controller Software Via RoboChart and RoboTool

Multimodal signal processing and interaction for a driving simulator: Component-based architecture

On the Benefits of Using Object-Oriented Programming for the Objective Evaluation of Vehicle Dynamic Performance in Concurrent Simulations

Simulation Modeling of a Large-Scale Formal Verification Process

An Extension of the Systems Modeling Language for Physical Interaction and Signal Flow Simulation

DRYVR:Data-driven verification and compositional reasoning for automotive systems