Search results for: Sayan Mitra
IEEE Transactions on Control of Network Systems > 2017 > 4 > 1 > 118 - 130
Nonlinear Analysis: Hybrid Systems > 2017 > 23 > C > 211-229
2016 IEEE 55th Conference on Decision and Control (CDC) > 7335 - 7340
2016 IEEE 55th Conference on Decision and Control (CDC) > 4252 - 4272
Bioorganic & Medicinal Chemistry Letters > 2016 > 26 > 23 > 5825-5829
2016 IEEE Conference on Control Applications (CCA) > 1024 - 1029
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Short Papers > 718-722
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 230-245
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Regular Papers > 224-237
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Logic and Specification > 17-31
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Contributed Papers > 588-602
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Wireless Networks II > 188-202
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 5. Verification and Test > 218-232
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Contributions > 343-358
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 396-410
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 476-490