Souradeep Dutta
Titel
Geciteerd door
Geciteerd door
Jaar
Output Range Analysis for Deep Feedforward Neural Networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
NASA Formal Methods Symposium, 121-138, 2018
139*2018
Reachability analysis for neural feedback systems using regressive polynomial rule inference
S Dutta, X Chen, S Sankaranarayanan
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
252019
Learning and verification of feedback control systems using feedforward neural networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
IFAC-PapersOnLine 51 (16), 151-156, 2018
252018
Robust data-driven control of artificial pancreas systems using neural networks
S Dutta, T Kushner, S Sankaranarayanan
International Conference on Computational Methods in Systems Biology, 183-202, 2018
122018
Measurement of jet substructure observables in events from proton-proton collisions at
AM Sirunyan, A Tumasyan, W Adam, F Ambrogi, E Asilar, T Bergauer, ...
Physical Review D 98 (9), 092014, 2018
72018
Trajectory tracking control for robotic vehicles using counterexample guided training of neural networks
A Claviere, S Dutta, S Sankaranarayanan
Proceedings of the International Conference on Automated Planning and …, 2019
62019
Comparative analysis of cuckoo search optimization-based multilevel image thresholding
S Roy, U Kumar, D Chakraborty, S Nag, A Mallick, S Dutta
Intelligent Computing, Communication and Devices, 327-342, 2015
52015
Periodic noise recognition and elimination using RFPCM clustering
S Dutta, A Mallick, S Roy, U Kumar
2014 International Conference on Electronics and Communication Systems …, 2014
52014
A structured methodology for pattern based adaptive scheduling in embedded control
S Ghosh, S Dutta, S Dey, P Dasgupta
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-22, 2017
42017
Multirate sampling for power-performance tradeoff in embedded control
R Raha, S Dutta, S Dey, P Dasgupta
IEEE Embedded Systems Letters 8 (4), 77-80, 2016
42016
Sherlock-A tool for verification of neural network feedback systems: demo abstract
S Dutta, X Chen, S Jha, S Sankaranarayanan, A Tiwari
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
32019
Formal Verification of a Multi-Basal Insulin Infusion Control Model.
X Chen, S Dutta, S Sankaranarayanan
ARCH@ CPSWeek, 75-91, 2017
32017
Verifying Conformance of Neural Network Models
M Narasimhamurthy, T Kushner, S Dutta, S Sankaranarayanan
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2019
22019
Autologous platelet rich plasma-an adjunct to early tangential excision and grafting in burns
A Aggarwal, RK Chittoria, S Dutta, KS Reddy, V Chavan, S Gupta, ...
Plast Aesthet Res 5, 47, 2018
22018
Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems
SK Ghosh, A Mondal, S Dutta, A Hazra, S Dey
2016 20th International Symposium on VLSI Design and Test (VDAT), 1-6, 2016
22016
Verification of Neural Networks
S Dutta
PQDT-Global, 2020
2020
Reaching Out Towards Fully Verified Autonomous Systems
S Sankaranarayanan, S Dutta, S Mover
International Conference on Reachability Problems, 22-32, 2019
2019
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
DM Lopez, P Musau, HD Tran, S Dutta, TJ Carpenter, R Ivanov, ...
ARCH@ CPSIoTWeek, 103-119, 2019
2019
OPTIMIZATION OF MACHINING PARAMETERS FOR TOOL WEAR OF MILD STEEL DURING TURNING BY S/N RATIO AND ANOVA
S Dutta, S Mukherjee
IJRAR-International Journal of Research and Analytical Reviews (IJRAR) 6 (1 …, 2019
2019
ROBUST DATA-DRIVEN CONTROL OF ARTIFICIAL PANCREAS SYSTEMS USING NEURAL NETWORKS
T Kushner, S Dutta, S Sankaranarayanan
DIABETES TECHNOLOGY & THERAPEUTICS 21, A83-A84, 2019
2019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20