Search Results - "Grosu, Radu"

Refine Results
  1. 1

    Neural circuit policies enabling auditable autonomy by Lechner, Mathias, Hasani, Ramin, Amini, Alexander, Henzinger, Thomas A., Rus, Daniela, Grosu, Radu

    Published in Nature machine intelligence (01-10-2020)
    “…A central goal of artificial intelligence in high-stakes decision-making applications is to design a single algorithm that simultaneously expresses…”
    Get full text
    Journal Article
  2. 2

    A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems by Ratasich, Denise, Khalid, Faiq, Geissler, Florian, Grosu, Radu, Shafique, Muhammad, Bartocci, Ezio

    Published in IEEE access (2019)
    “…The Internet of Things (IoT) is a ubiquitous system connecting many different devices-the things -which can be accessed from the distance. The cyber-physical…”
    Get full text
    Journal Article
  3. 3

    A Multi-Sensor Data Fusion Approach for Atrial Hypertrophy Disease Diagnosis Based on Characterized Support Vector Hyperspheres by Zhu, Yungang, Liu, Dayou, Grosu, Radu, Wang, Xinhua, Duan, Hongying, Wang, Guodong

    Published in Sensors (Basel, Switzerland) (07-09-2017)
    “…Disease diagnosis can be performed based on fusing the data acquired by multiple medical sensors from patients, and it is a crucial task in sensor-based…”
    Get full text
    Journal Article
  4. 4

    Intelligent Sea States Identification Based on Maximum Likelihood Evidential Reasoning Rule by Zhang, Xuelin, Xu, Xiaojian, Xu, Xiaobin, Gao, Diju, Gao, Haibo, Wang, Guodong, Grosu, Radu

    Published in Entropy (Basel, Switzerland) (14-07-2020)
    “…It is necessary to switch the control strategies for propulsion system frequently according to the changes of sea states in order to ensure the stability and…”
    Get full text
    Journal Article
  5. 5
  6. 6
  7. 7

    Monitoring with uncertainty by Bartocci, Ezio, Grosu, Radu

    “…We discuss the problem of runtime verification of an instrumented program that misses to emit and to monitor some events. These gaps can occur when a…”
    Get full text
    Journal Article
  8. 8

    An end-to-end neural network framework for state-of-health estimation and remaining useful life prediction of electric vehicle lithium batteries by Li, Penghua, Zhang, Zijian, Grosu, Radu, Deng, Zhongwei, Hou, Jie, Rong, Yujun, Wu, Rui

    Published in Renewable & sustainable energy reviews (01-03-2022)
    “…This study proposes an end-to-end prognostic framework for state-of-health (SOH) estimation and remaining useful life (RUL) prediction. In such a framework, a…”
    Get full text
    Journal Article
  9. 9

    Unsupervised Wafermap Patterns Clustering via Variational Autoencoders by Tulala, Peter, Mahyar, Hamidreza, Ghalebi, Elahe, Grosu, Radu

    “…Semiconductor manufacturing processes are prone to process deviations or other production issues. Quality assurance of every processing step and measuring…”
    Get full text
    Conference Proceeding
  10. 10

    DynGATT: A dynamic GATT-based data synchronization protocol for BLE networks by Hirsch, Christian, Davoli, Luca, Grosu, Radu, Ferrari, Gianluigi

    “…Bluetooth Low Energy (BLE) is a wireless communication technology for power-constrained Internet of Things (IoT) applications. BLE data can be transmitted via…”
    Get full text
    Journal Article
  11. 11

    A generative neural network model for the quality prediction of work in progress products by Wang, Guodong, Ledwoch, Anna, Hasani, Ramin M., Grosu, Radu, Brintrup, Alexandra

    Published in Applied soft computing (01-12-2019)
    “…One of the key challenges in manufacturing processes is improving the accuracy of quality monitoring and prediction. This paper proposes a generative neural…”
    Get full text
    Journal Article
  12. 12

    Algorithmic Minimization of Uncertain Continuous-Time Markov Chains by Cardelli, Luca, Grosu, Radu, Larsen, Kim G., Tribastone, Mirco, Tschaikowski, Max, Vandin, Andrea

    Published in IEEE transactions on automatic control (01-11-2023)
    “…The assumption of perfect knowledge of rate parameters in continuous-time Markov chains (CTMCs) is undermined when confronted with reality, where they may be…”
    Get full text
    Journal Article
  13. 13

    c302: a multiscale framework for modelling the nervous system of Caenorhabditis elegans by Gleeson, Padraig, Lung, David, Grosu, Radu, Hasani, Ramin, Larson, Stephen D.

    “…The OpenWorm project has the ambitious goal of producing a highly detailed in silico model of the nematode Caenorhabditis elegans. A crucial part of this work…”
    Get full text
    Journal Article
  14. 14

    Driver Distraction Detection Using Octave-Like Convolutional Neural Network by Li, Penghua, Yang, Yifeng, Grosu, Radu, Wang, Guodong, Li, Rui, Wu, Yuehong, Huang, Zeng

    “…This study proposes a lightweight convolutional neural network with an octave-like convolution mixed block, called OLCMNet, for detecting driver distraction…”
    Get full text
    Journal Article
  15. 15

    An Algebraic Framework for Runtime Verification by Jaksic, Stefan, Bartocci, Ezio, Grosu, Radu, Nickovic, Dejan

    “…Runtime verification (RV) is a pragmatic and scalable, yet rigorous technique, to assess the correctness of complex systems, including cyber-physical systems…”
    Get full text
    Journal Article
  16. 16

    Quantitative monitoring of STL with edit distance by Jakšić, Stefan, Bartocci, Ezio, Grosu, Radu, Nguyen, Thang, Ničković, Dejan

    Published in Formal methods in system design (2018)
    “…In cyber-physical systems (CPS), physical behaviors are typically controlled by digital hardware. As a consequence, continuous behaviors are discretized by…”
    Get full text
    Journal Article
  17. 17

    Message from the ACSD 2018 Program Chairs

    “…Presents the introductory welcome message from the conference proceedings. May include the conference officers' congratulations to all involved with the…”
    Get full text
    Conference Proceeding
  18. 18

    Investigation and benchmarking of U-Nets on prostate segmentation tasks by Bhandary, Shrajan, Kuhn, Dejan, Babaiee, Zahra, Fechter, Tobias, Benndorf, Matthias, Zamboglou, Constantinos, Grosu, Anca-Ligia, Grosu, Radu

    Published in Computerized medical imaging and graphics (01-07-2023)
    “…In healthcare, a growing number of physicians and support staff are striving to facilitate personalized radiotherapy regimens for patients with prostate…”
    Get full text
    Journal Article
  19. 19

    Cyber-physical systems: challenge of the 21st century by Esterle, Lukas, Grosu, Radu

    Published in Elektrotechnik und Informationstechnik (01-11-2016)
    “…Cyber-physical systems and the Internet of Things will be omnipresent in the near future. These systems will be tightly integrated in and interacting with our…”
    Get full text
    Journal Article
  20. 20

    Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home by Hirsch, Christian, Bartocci, Ezio, Grosu, Radu

    “…Growing food for nine billion people is a challenge we will face in near future. Digital technologies hold a great promise to increase efficiency and use…”
    Get full text
    Conference Proceeding