Modeling cyber–physical systems
This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …
[책][B] Introduction to embedded systems: A cyber-physical systems approach
An introduction to the engineering principles of embedded systems, with a focus on
modeling, design, and analysis of cyber-physical systems. The most visible use of …
modeling, design, and analysis of cyber-physical systems. The most visible use of …
[책][B] Embedded system design: embedded systems foundations of cyber-physical systems, and the internet of things
P Marwedel - 2021 - library.oapen.org
A unique feature of this open access textbook is to provide a comprehensive introduction to
the fundamental knowledge in embedded systems, with applications in cyber-physical …
the fundamental knowledge in embedded systems, with applications in cyber-physical …
Knowledge based real time monitoring system for aquaculture using IoT
KRSR Raju, GHK Varma - 2017 IEEE 7th international advance …, 2017 - ieeexplore.ieee.org
Internet of things is one of the rapidly growing fields for delivering social and economic
benefits for emerging and develo** economy. The field of IOT is expanding its wings in all …
benefits for emerging and develo** economy. The field of IOT is expanding its wings in all …
[책][B] Multiprocessor systems-on-chips
Modern system-on-chip (SoC) design shows a clear trend toward integration of multiple
processor cores on a single chip. Designing a multiprocessor system-on-chip (MPSOC) …
processor cores on a single chip. Designing a multiprocessor system-on-chip (MPSOC) …
Disciplined heterogeneous modeling
EA Lee - International Conference on Model Driven Engineering …, 2010 - Springer
Complex systems demand diversity in the modeling mechanisms. One way to deal with a
diversity of requirements is to create flexible modeling frameworks that can be adapted to …
diversity of requirements is to create flexible modeling frameworks that can be adapted to …
Decentralised LTL monitoring
Users wanting to monitor distributed or component-based systems often perceive them as
monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to …
monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to …
Modeling time (s)
Time and timing features are an important aspect of modern electronic systems, often of
embedded nature. We argue here that in early design phases, time is often of logical (rather …
embedded nature. We argue here that in early design phases, time is often of logical (rather …
Decentralised LTL monitoring
A Bauer, Y Falcone - Formal Methods in System Design, 2016 - Springer
Users wanting to monitor distributed or component-based systems often perceive them as
monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to …
monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to …