7 citations · 11 across the 10 of their papers we have counts for
12 papers
StreamAgent: Towards Anticipatory Agents for Streaming Video Understanding
Haolin Yang, Feilong Tang, Lingxiao Zhao +10
Real-time streaming video understanding in domains such as autonomous driving and intelligent surveillance poses challenges beyond conventional offline video processing, requiring…
Finite Abstractions of Network of Impulsive Systems Using Dissipativity Approach
Abdalla Swikir
This paper introduces a compositional framework for constructing finite abstractions of nonlinear interconnected impulsive systems using dissipativity-based conditions. Central to…
Symbolic Models for Interconnected Impulsive Systems
Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap +1
In this paper, we present a compositional methodology for constructing symbolic models of nonlinear interconnected impulsive systems. Our approach relies on the concept of "alterna…
Compositional Construction of Abstractions for Infinite Networks of Switched Systems
Maryam Sharifi, Abdalla Swikir, Navid Noroozi +1
We construct compositional continuous approximations for an interconnection of infinitely many discrete-time switched systems. An approximation (known as abstraction) is itself a c…
Compositional Abstractions of Interconnected Discrete-Time Switched Systems
Abdalla Swikir, Majid Zamani
In this paper, we introduce a compositional method for the construction of finite abstractions of interconnected discrete-time switched systems. Particularly, we use a notion of so…
Compositional Verification of Initial-State Opacity for Switched Systems
Siyuan Liu, Abdalla Swikir, Majid Zamani
In this work, we propose a compositional framework for the verification of approximate initial-state opacity for networks of discrete-time switched systems. The proposed approach i…
Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems
Maryam Sharifi, Abdalla Swikir, Navid Noroozi +1
In this paper, we develop a compositional scheme for the construction of continuous approximations for interconnections of infinitely many discrete-time switched systems. An approx…
Verification of Initial-State Opacity for Switched Systems: A Compositional Approach
Siyuan Liu, Abdalla Swikir, Majid Zamani
The security in information-flow has become a major concern for cyber-physical systems (CPSs). In this work, we focus on the analysis of an information-flow security property, call…
Symbolic Models for a Class of Impulsive Systems
Abdalla Swikir, Antoine Girard, Majid Zamani
Symbolic models have been used as the basis of a systematic framework to address control design of several classes of hybrid systems with sophisticated control objectives. However,…
Compositional Construction of Control Barrier Functions for Interconnected Control Systems
Pushpak Jagtap, Abdalla Swikir, Majid Zamani
In this paper, we provide a compositional framework for synthesizing hybrid controllers for interconnected discrete-time control systems enforcing specifications expressed by co-Bu…
Compositional Synthesis of Finite Abstractions for Networks of Systems: A Small-Gain Approach
Abdalla Swikir, Majid Zamani
In this paper, we introduce a compositional scheme for the construction of finite abstractions (a.k.a. symbolic models) of interconnected discrete-time control systems. The composi…
From dissipativity theory to compositional synthesis of symbolic models
Abdalla Swikir, Antoine Girard, Majid Zamani
In this work, we introduce a compositional framework for the construction of finite abstractions (a.k.a. symbolic models) of interconnected discrete-time control systems. The compo…