Abstract Models are central to engineering. They are used for analysis, synthesis, and
communication between humans. A given artifact or process may have multiple models with …

We propose a method to detect attacks on sensors and controllers in cyber-physical
systems. We develop a monitor that uses an abstract digital twin, Tiny Twin, to detect false …

Model-driven methods are widely used in embedded control software development. Current
design tools, such as Ptolemy-II and Simulink, have strong modeling capability but their …

Traffic control systems (TCSs) are an emerging focus area among transportation
technologies. More than 55,435 TCS technologies were patented during the last decade …

The complexity and dynamism of distributed intelligent systems have motivated the
utilization of autonomic computing in such systems. However, the interoperability of agents …

Model-driven methodology has been widely adopted in embedded software design, and
Dataflow is a widely used computation model, with strong modeling and simulation ability …

Modern transportation big data features high Volume, Velocity, and Variety, making it more
and more challenging to develop an intelligent transportation system for data analysis …

In complex enterprises, various events such as failure of a server, malfunction of an
application etc. may happen. In many cases, these events are caused by a change or an …

Real-time adaptive systems are complex systems capable to adapt their behavior to
changing conditions in the environment, and/or internal state changes. Highly dynamic and …

Track-based flow management systems like transportation systems and traffic control
systems play a crucial role in our daily life. Safety and performance are among the most …