Control centric framework for model continuity in time‐dependent multi‐agent systems
F Cicirelli, L Nigro - Concurrency and Computation: Practice …, 2016 - Wiley Online Library
This work centres on a control framework for general multi‐agent systems, which separates
the design of agents behaviours (the application layer) from crosscutting control concerns …
the design of agents behaviours (the application layer) from crosscutting control concerns …
Principles of discrete event system specification model verification
Real-time systems modeling and verification is a complex task. In many cases, formal
methods have been employed to deal with the complexity of these systems, but checking …
methods have been employed to deal with the complexity of these systems, but checking …
Progressive simulation-based design for networked real-time embedded systems
X Hu, E Azarnasab - Real-Time Simulation Technologies …, 2012 - api.taylorfrancis.com
Simulation has long been used to support design and analysis of complex engineering
systems. Fast simulations allow designers to flexibly experiment with and analyze different …
systems. Fast simulations allow designers to flexibly experiment with and analyze different …
Models for distributed real-time simulation in a vehicle co-simulator setup
A Andersson, P Fritzson - … Modeling Languages and Tools, April 19 …, 2013 - diva-portal.org
A car model in Modelica has been developed to be used in a new setup for distributed real-
time simulation where a moving base car simulator is connected with a real car in a chassis …
time simulation where a moving base car simulator is connected with a real car in a chassis …
Progressive simulation-based design: A case study example on software defined radio
The increasing complexity of engineering systems and automation applications asks for
systematic design processes and methodologies. In previous work, a progressive simulation …
systematic design processes and methodologies. In previous work, a progressive simulation …