Search for persons
X
?
11th IET International Conference on Developments in Power Systems Protection (DPSP 2012) ,
1
Innovative injection-based 100% stator earth-fault protecti..:
, In:
?
First International Symposium on Control, Communications and Signal Processing, 2004. ,
2
MILP design of frequency-response masking FIR filters with ..:
, In:
?
Proceedings of the Second Joint 24th Annual Conference and the Annual Fall Meeting of the Biomedical Engineering Society] [Engineering in Medicine and Biology ,
3
Recurrent inhibition model of cat gastrocnemius muscle:
, In:
?
2024 European Control Conference (ECC) ,
5
Maximizing social power in multiple independent Friedkin-Jo..:
, In:
?
2024 European Control Conference (ECC) ,
6
Formal Verification of Linear Temporal Logic Specifications..:
, In:
?
2024 European Control Conference (ECC) ,
7
Distributed Charging Coordination of Electric Trucks with L..:
, In:
?
2024 European Control Conference (ECC) ,
8
Real-Time Anomaly Detection and Categorization for Satellit..:
, In:
?
2024 IEEE Intelligent Vehicles Symposium (IV) ,
9
Ensuring Safety at Intelligent Intersections: Temporal Logi..:
, In:
?
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control ,
10
CTL Model Checking of MDPs over Distribution Spaces: Algori..:
, In:
?
2024 IEEE Intelligent Vehicles Symposium (IV) ,
11
Small-Scale Testbed for Evaluating C-V2X Applications on 5G..:
, In:
?
2024 European Control Conference (ECC) ,
12
Non-Convex Potential Games for Finding Global Solutions to ..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
14
Logical Zonotopes: A Set Representation for the Formal Veri..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
15