Kaushik Mallik
TitleCited byYear
Compositional abstraction-based controller synthesis for continuous-time systems
K Mallik, AK Schmuck, S Soudjani, R Majumdar
IEEE Transactions on Automatic Control, 2018, 2018
21*2018
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems
K Hsu, R Majumdar, K Mallik, AK Schmuck
HSCC '18, 120--129, 2018
172018
Efficiency and cost optimized design of an induction motor using genetic algorithm
S Mallik, K Mallik, A Barman, D Maiti, SK Biswas, NK Deb, S Basu
IEEE Transactions on Industrial Electronics 64 (12), 9854-9863, 2017
172017
Lazy Abstraction-Based Control for Safety Specifications
K Hsu, R Majumdar, K Mallik, AK Schmuck
2018 IEEE Conference on Decision and Control (CDC), 4902-4907, 2018
52018
Compositional Construction of Finite State Abstractions for Stochastic Control Systems
K Mallik, SEZ Soudjani, AK Schmuck, R Majumdar
CDC 2017, 550-557, 2017
52017
Lazy Abstraction-Based Control for Reachability
K Hsu, R Majumdar, K Mallik, AK Schmuck
arXiv preprint arXiv:1804.02722, 2018
32018
Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances
Y Bai, K Mallik, AK Schmuck, D Zufferey, R Majumdar
12019
Lazy abstraction-based controller synthesis
K Hsu, R Majumdar, K Mallik, AK Schmuck
International Symposium on Automated Technology for Verification and …, 2019
2019
Abstraction-Based Control Design (Lecture Notes)
R MAJUMDAR, K MALLIK, AK SCHMUCK
Engineering Secure and Dependable Software Systems 53, 117, 2019
2019
Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems
R Majumdar, K Mallik, S Soudjani
arXiv preprint arXiv:1910.12137, 2019
2019
Supervisory controller synthesis for decomposable deterministic context free specification languages
K Mallik, AK Schmuck
2016 13th International Workshop on Discrete Event Systems (WODES), 22-27, 2016
2016
Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment
Y Bai, K Mallik, AK Schmuck, D Zufferey, R Majumdar
The system can't perform the operation now. Try again later.
Articles 1–12