Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Andalam, Sidharta"'
Publikováno v:
Cyber Physical Systems. Model-Based Design (2018)
The recent advancement of information and communication technology makes digitalisation of an entire manufacturing shop-floor possible where physical processes are tightly intertwined with their cyber counterparts. This led to an emergence of a conce
Externí odkaz:
http://arxiv.org/abs/2102.03341
Industrial cyber-infrastructure is normally a multilayered architecture. The purpose of the layered architecture is to hide complexity and allow independent evolution of the layers. In this paper, we argue that this traditional strict layering result
Externí odkaz:
http://arxiv.org/abs/2004.04444
This demonstration presents a framework for building a resilient Cyber-Physical Systems (CPS) cyber-infrastructure through the use of hierarchical parametric assume-guarantee contracts. A Fischertechnik Sorting Line with Color Detection training mode
Externí odkaz:
http://arxiv.org/abs/2004.04477
Publikováno v:
IEEE Embedded System Letters 11 (2019) 5-8
As the industrial cyber-infrastructure become increasingly important to realise the objectives of Industry~4.0, the consequence of disruption due to internal or external faults become increasingly severe. Thus there is a need for a resilient infrastr
Externí odkaz:
http://arxiv.org/abs/2004.04442
Publikováno v:
IEEE International Conference on Computer Design (ICCD), Abu Dhabi, United Arab Emirates, 2019, pages 82-90
Digital twin is a virtual replica of a real-world object that lives simultaneously with its physical counterpart. Since its first introduction in 2003 by Grieves, digital twin has gained momentum in a wide range of applications such as industrial man
Externí odkaz:
http://arxiv.org/abs/2003.09370
Autor:
Yip, Eugene, Andalam, Sidharta, Roop, Partha S., Malik, Avinash, Trew, Mark, Ai, Weiwei, Patel, Nitish
The heart is a vital organ that relies on the orchestrated propagation of electrical stimuli to coordinate each heart beat. Abnormalities in the heart's electrical behaviour can be managed with a cardiac pacemaker. Recently, the closed-loop testing o
Externí odkaz:
http://arxiv.org/abs/1603.05315
Hybrid systems are discrete controllers that are used for controlling a physical process (plant) exhibiting continuous dynamics. A hybrid automata (HA) is a well known and widely used formal model for the specification of such systems. While many met
Externí odkaz:
http://arxiv.org/abs/1510.04336
Publikováno v:
In Electronic Notes in Theoretical Computer Science 25 June 2009 238(1):37-55
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.