Search for persons
X
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
1
Temporal Logic Resilience for Cyber-Physical Systems:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
3
Scalable Distributed Controller Synthesis for Multi-Agent S..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
4
Symbolic Models for Interconnected Impulsive Systems:
, In:
?
2022 IEEE 61st Conference on Decision and Control (CDC) ,
6
Characterizations and Computation of Controlled Invariants ..:
, In:
?
2022 American Control Conference (ACC) ,
9
Adaptive Control/Identification for Hybrid Systems, Part II..:
, In:
?
2022 IEEE 61st Conference on Decision and Control (CDC) ,
10
Compositional Synthesis of Signal Temporal Logic Tasks via ..:
, In:
?
2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS) ,
11
Constructing Symbolic Abstractions From Data Without Model ..:
, In:
?
2022 American Control Conference (ACC) ,
13
Adaptive Control/Identification for Hybrid Systems Part I: ..:
, In:
?
25th ACM International Conference on Hybrid Systems: Computation and Control ,
14
Distributed Hybrid Gradient Algorithm with Application to C..:
, In:
?
2022 Eighth Indian Control Conference (ICC) ,
15