K
Kaushik Mallik
Researcher at Max Planck Society
Publications - 32
Citations - 290
Kaushik Mallik is an academic researcher from Max Planck Society. The author has contributed to research in topics: Control theory & Computer science. The author has an hindex of 7, co-authored 24 publications receiving 208 citations.
Papers
More filters
Journal ArticleDOI
Efficiency and Cost Optimized Design of an Induction Motor Using Genetic Algorithm
Srikumar Mallik,Kaushik Mallik,Amal Barman,Dipten Maiti,Sujit K. Biswas,Nirmal K. Deb,Sujay Basu +6 more
TL;DR: In this study, design of an efficiency-optimized squirrel cage induction motor is considered, where genetic algorithm is chosen as the tool for optimization, where relaxation of some constraints is allowed by the specific application.
Proceedings ArticleDOI
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems
TL;DR: It is empirically demonstrate that multi-layered synthesis can outperform standard (single-layer) ABCS algorithms on a number of examples, despite the additional cost of constructing multiple abstract systems.
Journal ArticleDOI
Compositional Synthesis of Finite-State Abstractions
TL;DR: It is shown how networks of incrementally input-to-state stable, nonlinear, continuous-time control systems can be abstracted compositionally, so that all local abstractions are simultaneously disturbance bisimilar to their continuous counterparts.
Proceedings ArticleDOI
Symbolic controller synthesis for Büchi specifications on stochastic systems
TL;DR: In this article, the authors consider the policy synthesis problem for continuous-state controlled Markov processes evolving in discrete time, where the specification is given as a Buchi condition (visit a set of states infinitely often).
Journal ArticleDOI
Assume–Guarantee Distributed Synthesis
TL;DR: This work presents an algorithm, called negotiation, for sound (but necessarily incomplete) distributed reactive synthesis based on assume–guarantee decompositions, which iteratively constructs assumptions and guarantees for each system.