Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism von Beg, Omar Ali, Nguyen, Luan Viet, Johnson, Taylor T., Davoudi, Ali

Volltext

Virtual Prototyping for Distributed Control of a Fault-Tolerant Modular Multilevel Inverter for Photovoltaics von Luan Viet Nguyen, Hoang-Dung Tran, Johnson, Taylor T.

Volltext

Star-Based Reachability Analysis of Deep Neural Networks von Tran, Hoang-Dung, Manzanas Lopez, Diago, Musau, Patrick, Yang, Xiaodong, Nguyen, Luan Viet, Xiang, Weiming, Johnson, Taylor T.

Volltext

Hybrid automata: from verification to implementation von Bak, Stanley, Beg, Omar Ali, Bogomolov, Sergiy, Johnson, Taylor T., Nguyen, Luan Viet, Schilling, Christian

Volltext

Order-reduction abstractions for safety verification of high-dimensional linear systems von Tran, Hoang-Dung, Nguyen, Luan Viet, Xiang, Weiming, Johnson, Taylor T.

Volltext

Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter von Tran, Hoang-Dung, Pal, Neelanjana, Lopez, Diego Manzanas, Musau, Patrick, Yang, Xiaodong, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T.

Volltext

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems von Tran, Hoang-Dung, Nguyen, Luan Viet, Musau, Patrick, Xiang, Weiming, Johnson, Taylor T.

Volltext

Runtime Verification for Hybrid Analysis Tools von Nguyen, Luan Viet, Schilling, Christian, Bogomolov, Sergiy, Johnson, Taylor T.

Volltext

Reachability Analysis for High-Index Linear Differential Algebraic Equations von Tran, Hoang-Dung, Nguyen, Luan Viet, Hamilton, Nathaniel, Xiang, Weiming, Johnson, Taylor T.

Volltext

Decentralized Safe Control for Distributed Cyber-Physical Systems using Real-time Reachability Analysis von Nguyen, Luan Viet, Tran, Hoang-Dung, Johnson, Taylor, Gupta, Vijay

Volltext

Real-Time Verification for Distributed Cyber-Physical Systems von Tran, Hoang-Dung, Nguyen, Luan Viet, Musau, Patrick, Xiang, Weiming, Johnson, Taylor T.

Volltext

BIBLIOMETRIC ANALYSIS OF PUBLICATIONS ON STEM AND STEAM EDUCATION IN EARLY CHILDHOOD FROM SOUTHEAST ASIAN COUNTRIES von Duong Thi Thuy Linh, Phan Thi Ngoc Tu, Huynh Thi Quynh Thi Nguyen Thi Hieu, Nguyen Thi Luan, Tran Viet Nhi

Volltext

Model Checking Time Window Temporal Logic for Hyperproperties von Bonnah, Ernest, Nguyen, Luan Viet, Hoque, Khaza Anuarul

Volltext

Real-Time Verification for Distributed Cyber-Physical Systems von Tran, Hoang-Dung, Nguyen, Luan Viet, Musau, Patrick, Xiang, Weiming, Johnson, Taylor T

Volltext bestellen

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems von Tran, Hoang-Dung, Yang, Xiaodong, Lopez, Diego Manzanas, Musau, Patrick, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T

Volltext bestellen

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency von Nguyen, Luan Viet, Mohan, Gautam, Weimer, James, Sokolsky, Oleg, Lee, Insup, Alur, Rajeev

Volltext bestellen

Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter von Nguyen, Luan Viet, Johnson, Taylor T

Volltext bestellen

Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear Systems von Tran, Hoang-Dung, Nguyen, Luan Viet, Xiang, Weiming, Johnson, Taylor T

Volltext bestellen

Real-Time Verification for Distributed Cyber-Physical Systems von Hoang-Dung Tran, Nguyen, Luan Viet, Musau, Patrick, Xiang, Weiming, Johnson, Taylor T

Volltext

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems von Hoang-Dung Tran, Yang, Xiaodong, Lopez, Diego Manzanas, Musau, Patrick, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T

Volltext