Zobrazeno 1 - 10
of 157
pro vyhledávání: '"ROOP, PARTHA S."'
Cyber-Physical Systems (CPSs) such as those found within autonomous vehicles are increasingly adopting Artificial Neural Network (ANN)-based controllers. To ensure the safety of these controllers, there is a spate of recent activity to formally verif
Externí odkaz:
http://arxiv.org/abs/2110.01974
Artificial Neural Networks (ANNs) are increasingly being used within safety-critical Cyber-Physical Systems (CPSs). They are often co-located with traditional embedded software, and may perform advisory or control-based roles. It is important to vali
Externí odkaz:
http://arxiv.org/abs/2008.11830
Publikováno v:
In Computer Methods and Programs in Biomedicine April 2022 216
Publikováno v:
In Computers in Biology and Medicine February 2022 141
Autor:
Pinisetty, Srinivas, Roop, Partha S, Smyth, Steven, Tripakis, Stavros, von Hanxleden, Reinhard
Synchronous programming is a paradigm of choice for the design of safety-critical reactive systems. Runtime enforcement is a technique to ensure that the output of a black-box system satisfies some desired properties. This paper deals with the proble
Externí odkaz:
http://arxiv.org/abs/1612.05030
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
Autor:
Bhandari, Shweta, Herbreteau, Frederic, Laxmi, Vijay, Zemmari, Akka, Gaur, Manoj Singh, Roop, Partha S.
Publikováno v:
In Future Generation Computer Systems August 2020 109:593-603
Autor:
Wang, Luman, Malik, Avinash, Roop, Partha S., Cheng, Leo K., Paskaranandavadivel, Niranchan, Ai, Weiwei
Publikováno v:
In Computers in Biology and Medicine January 2020 116
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.