Search

Your search keyword '"Mok, Aloysius K."' showing total 226 results
Start Over Author "Mok, Aloysius K." Publication Year Range Last 50 years
226 results on '"Mok, Aloysius K."'

1. Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach

Author

Zheng, Xi, Mok, Aloysius K., Piskac, Ruzica, Lee, Yong Jae, Krishnamachari, Bhaskar, Zhu, Dakai, Sokolsky, Oleg, and Lee, Insup

Subjects
Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Robotics
Abstract

The integration of machine learning (ML) into cyber-physical systems (CPS) offers significant benefits, including enhanced efficiency, predictive capabilities, real-time responsiveness, and the enabling of autonomous operations. This convergence has accelerated the development and deployment of a range of real-world applications, such as autonomous vehicles, delivery drones, service robots, and telemedicine procedures. However, the software development life cycle (SDLC) for AI-infused CPS diverges significantly from traditional approaches, featuring data and learning as two critical components. Existing verification and validation techniques are often inadequate for these new paradigms. In this study, we pinpoint the main challenges in ensuring formal safety for learningenabled CPS.We begin by examining testing as the most pragmatic method for verification and validation, summarizing the current state-of-the-art methodologies. Recognizing the limitations in current testing approaches to provide formal safety guarantees, we propose a roadmap to transition from foundational probabilistic testing to a more rigorous approach capable of delivering formal assurance.

Published
2023

2. RT-WiFi on Software-Defined Radio: Design and Implementation

Author

Yun, Zelin, Wu, Peng, Zhou, Shengli, Mok, Aloysius K., Nixon, Mark, and Han, Song

Subjects
Computer Science - Networking and Internet Architecture
Abstract

Applying high-speed real-time wireless technologies in industrial applications has the great potential to reduce the deployment and maintenance costs compared to their wired counterparts. Wireless technologies enhance the mobility and reduce the communication jitter and delay for mobile industrial equipment, such as mobile collaborative robots. Unfortunately, most existing wireless solutions employed in industrial fields either cannot support the desired high-speed communications or cannot guarantee deterministic, real-time performance. A more recent wireless technology, RT-WiFi, achieves a good balance between high-speed data rates and deterministic communication performance. It is however developed on commercial-of-the-shelf (COTS) hardware, and takes considerable effort and hardware expertise to maintain and upgrade. To address these problems, this paper introduces the software-defined radio (SDR)-based RT-WiFi solution which we call SRT-WiFi. SRT-WiFi provides full-stack configurability for high-speed real-time wireless communications. We present the overall system architecture of SRT-WiFi and discuss its key functions which achieve better timing performance and solve the queue management and rate adaptation issues compared to COTS hardware-based RT-WiFi. To achieve effective network management with rate adaptation in multi-cluster SRT-WiFi, a novel scheduling problem is formulated and an effective algorithm is proposed to solve the problem. A multi-cluster SRT-WiFi testbed is developed to validate the design, and extensive experiments are performed to evaluate the performance at both device and system levels., Comment: 16 pages

Published
2022

3. SQRP: Sensing Quality-aware Robot Programming System for Non-expert Programmers

Author

Hsieh, Yi-Hsuan, Huang, Pei-Chi, and Mok, Aloysius K

Subjects
Computer Science - Robotics
Abstract

Robot programming typically makes use of a set of mechanical skills that is acquired by machine learning. Because there is in general no guarantee that machine learning produces robot programs that are free of surprising behavior, the safe execution of a robot program must utilize monitoring modules that take sensor data as inputs in real time to ensure the correctness of the skill execution. Owing to the fact that sensors and monitoring algorithms are usually subject to physical restrictions and that effective robot programming is sensitive to the selection of skill parameters, these considerations may lead to different sensor input qualities such as the view coverage of a vision system that determines whether a skill can be successfully deployed in performing a task. Choosing improper skill parameters may cause the monitoring modules to delay or miss the detection of important events such as a mechanical failure. These failures may reduce the throughput in robotic manufacturing and could even cause a destructive system crash. To address above issues, we propose a sensing quality-aware robot programming system that automatically computes the sensing qualities as a function of the robot's environment and uses the information to guide non-expert users to select proper skill parameters in the programming phase. We demonstrate our system framework on a 6DOF robot arm for an object pick-up task., Comment: 7 pages, 9 figures, 1 table; accepted for presentation in IEEE ICRA 2021(IEEE International Conference on Robotics and Automation)

Published
2021

6. Regular Composite Resource Partitioning and Reconfiguration in Open Systems.

Author

WEI-JU CHEN, PENG WU, PEI-CHI HUANG, MOK, ALOYSIUS K., and SONG HAN

Subjects
ALGORITHMS
Abstract

We consider the problem of resource provisioning for real-time cyber-physical applications in an open system environment where there does not exist a global resource scheduler that has complete knowledge of the real-time performance requirements of each individual application that shares the resources with the other applications. Regularity-based Resource Partition (RRP) model is an effective strategy to hierarchically partition and assign various resource slices among such applications. However, previous work on RRP model only discusses uniform resource environment, where resources are implicitly assumed to be synchronized and clocked at the same frequency. The challenge is that a task utilizing multiple resources may experience unexpected delays in non-uniform environments, where resources are clocked at different frequencies. This paper extends the RRP model to non-uniform multi-resource open system environments to tackle this problem. It first introduces a novel composite resource partition abstraction and then proposes algorithms to construct and reconfigure the composite resource partitions. Specifically, the Acyclic Regular Composite Resource Partition Scheduling (ARCRP-S) algorithm constructs regular composite resource partitions and the Acyclic Regular Composite Resource Partition Dynamic Reconfiguration (ARCRP-DR) algorithm reconfigures the composite resource partitions in the run time upon requests of partition configuration changes. Our experimental results show that compared with state-of-the-art methods, ARCRP-S can prevent unexpected resource supply shortfall and improve the schedulability up to 50%. On the other hand, ARCRP-DR can guarantee the resource supply during the reconfiguration with moderate computational overhead. [ABSTRACT FROM AUTHOR]

Published
2023
Full Text
View/download PDF

7. Swarm Attacks against Network-Level Emulation/Analysis

Author

Chung, Simon P., Mok, Aloysius K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Lippmann, Richard, editor, Kirda, Engin, editor, and Trachtenberg, Ari, editor

Published
2008
Full Text
View/download PDF

8. Advanced Allergy Attacks: Does a Corpus Really Help?

Author

Chung, Simon P., Mok, Aloysius K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Kruegel, Christopher, editor, Lippmann, Richard, editor, and Clark, Andrew, editor

Published
2007
Full Text
View/download PDF

9. Allergy Attack Against Automatic Signature Generation

Author

Chung, Simon P., Mok, Aloysius K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Zamboni, Diego, editor, and Kruegel, Christopher, editor

Published
2006
Full Text
View/download PDF

10. On Random-Inspection-Based Intrusion Detection

Author

Chung, Simon P., Mok, Aloysius K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Valdes, Alfonso, editor, and Zamboni, Diego, editor

Published
2006
Full Text
View/download PDF

11. Formal Specification and Verification of Resource Bound Security Using PVS

Author

Yu, Weijiang, Mok, Aloysius K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Futatsugi, Kokichi, editor, Mizoguchi, Fumio, editor, and Yonezaki, Naoki, editor

Published
2004
Full Text
View/download PDF

12. Detecting Unknown Massive Mailing Viruses Using Proactive Methods

Author

Hu, Ruiqi, Mok, Aloysius K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Jonsson, Erland, editor, Valdes, Alfonso, editor, and Almgren, Magnus, editor

Published
2004
Full Text
View/download PDF

23. RTL and refutation by positive cycles

Author

Wang, Farn, Mok, Aloysius K., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Naftalin, Maurice, editor, Denvir, Tim, editor, and Bertran, Miquel, editor

Published
1994
Full Text
View/download PDF

29. Monitoring of timing constraints with confidence threshold requirements

Author

Chan-gun Lee, Mok, Aloysius K., and Konana, Prabhudev

Subjects
Embedded system, System on a chip, Fault tolerance, Real-time system, Embedded systems -- Design and construction, Fault tolerance (Computers) -- Analysis, Real-time control -- Analysis, Real-time systems -- Analysis
Published
2007

34. Utilization bound revisited

Author

Chen, Deji, Mok, Aloysius K., and Kuo, Tei-Wei

Subjects
Computer design, Computer design -- Research, Computer engineering -- Research
Published
2003

44. Symbolic model checking for event-driven real-time systems

Author

Yang, Jin, Mok, Aloysius K., and Wang, Farn

Subjects
Real-time system, Real-time systems -- Research, Mathematical logic -- Research, Real-time control -- Research, Symbolic and mathematical logic -- Research
Abstract

In this article, we consider symbolic model checking for event-driven real-time systems. We first propose a Synchronous Real-Time Event Logic (SREL) for capturing the formal semantics of synchronous, event-driven real-time […]

Published
1997

Catalog

Books, media, physical & digital resources
See catalog results