| User Majid Zamani has attached A_small-gain_approach_to_ISS_of_infinite_networks_with_homogeneous_gain_operators.pdf to A small-gain approach to ISS of infinite networks with homogeneous gain operators |
August 14th, 2023 17:58
|
| User Majid Zamani has deposited A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems |
August 14th, 2023 17:56
|
| User Majid Zamani has attached From_Dissipativity_Theory_to_Compositional_Synthesis_of_Large-Scale_Stochastic_Switched_Systems.pdf to From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems |
August 14th, 2023 17:43
|
| User Majid Zamani has deposited From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems |
August 14th, 2023 17:43
|
| User Majid Zamani has attached Safety_Verification_of_Stochastic_Systems_A_Repetitive_Scenario_Approach.pdf to Safety Verification of Stochastic Systems: A Repetitive Scenario Approach |
August 14th, 2023 17:41
|
| User Majid Zamani has deposited Safety Verification of Stochastic Systems: A Repetitive Scenario Approach |
August 14th, 2023 17:41
|
| User Majid Zamani has deposited Synthesis of Controllers for Partially-Observable Systems: A Data-Driven Approach |
August 14th, 2023 17:31
|
| User Majid Zamani has attached 2082.pdf to Secure-by-Construction Controller Synthesis via Control Barrier Functions |
August 14th, 2023 17:29
|
| User Majid Zamani has deposited Secure-by-Construction Controller Synthesis via Control Barrier Functions |
August 14th, 2023 17:29
|
| User Majid Zamani has deposited Accurate reachability analysis of uncertain nonlinear systems |
June 21st, 2022 21:08
|
| User Majid Zamani has attached Reliable_CPS_Design_for_Mitigating_Semiconductor_and_Battery_Aging_in_Electric_Vehicles.pdf to Reliable CPS Design for Mitigating Semiconductor and Battery Aging in Electric Vehicles |
June 21st, 2022 21:01
|
| User Majid Zamani has deposited Reliable CPS Design for Mitigating Semiconductor and Battery Aging in Electric Vehicles |
June 21st, 2022 21:01
|
| User Majid Zamani has attached Infinite-step_opacity_of_nondeterministic_finite_transition_systems_A_bisimulation_relation_approach.pdf to Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach |
June 21st, 2022 20:52
|
| User Majid Zamani has deposited Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach |
June 21st, 2022 20:52
|
| User Majid Zamani has deposited Compositional construction of abstractions via relaxed small-gain conditions Part I: Continuous case |
June 20th, 2022 21:29
|
| User Majid Zamani has deposited Detectability of Nondeterministic Finite Transition Systems |
June 20th, 2022 21:13
|
| User Majid Zamani has deposited Compositional abstraction of interconnected control systems under dynamic interconnection topology |
June 20th, 2022 17:38
|
| User Majid Zamani has deposited k-Inductive Barrier Certificates for Stochastic Dynamical Systems |
March 14th, 2022 15:25
|
| User Majid Zamani has deposited Towards Trustworthy AI: Safe-visor Architecture for Uncertified Controllers in Stochastic Cyber-Physical Systems |
September 26th, 2021 00:29
|
| User Majid Zamani has deposited Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions |
September 26th, 2021 00:25
|
| User Majid Zamani has deposited Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions |
September 26th, 2021 00:22
|
| User Majid Zamani has deposited Compositional Abstraction-based Synthesis for Continuous-Time Stochastic Hybrid Systems |
September 26th, 2021 00:18
|