المؤلفون: S. Shankar Sastry, Shaurya Agarwal, Pushkin Kachroo

المصدر: IEEE Transactions on Automatic Control. 61:3412-3421

مصطلحات موضوعية: 050210 logistics & transportation, 0209 industrial biotechnology, Mathematical optimization, 05 social sciences, Control (management), Problem statement, 02 engineering and technology, Inverse problem, Mean field game, Optimal control, Computer Science Applications, Travel time, Vehicle dynamics, 020901 industrial engineering & automation, Mean field theory, Control and Systems Engineering, 0502 economics and business, Applied mathematics, Electrical and Electronic Engineering, Mathematics

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::bf3185b55677f9b3855705bd8966c08eTest
https://doi.org/10.1109/tac.2015.2511929Test

المؤلفون: S. Shankar, Daniel Calderone

المصدر: ITSC

مصطلحات موضوعية: Computer Science::Computer Science and Game Theory, 0209 industrial biotechnology, education.field_of_study, Mathematical optimization, Computer science, media_common.quotation_subject, Node (networking), 010102 general mathematics, Population, 02 engineering and technology, 01 natural sciences, 020901 industrial engineering & automation, Path (graph theory), Shortest path problem, Markov decision process, 0101 mathematics, Routing (electronic design automation), education, Function (engineering), Average cost, media_common

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::c8491977972de1ab919a51b8a3fcdedbTest
https://doi.org/10.1109/itsc.2017.8317849Test

المؤلفون: Lillian J. Ratliff, Ming Jin, Ioannis C. Konstantakopoulos, S. Shankar Sastry, Costas J. Spanos

المصدر: CDC

مصطلحات موضوعية: 0209 industrial biotechnology, Mathematical optimization, Heteroscedasticity, 020209 energy, Probabilistic logic, Regression analysis, 02 engineering and technology, Generalized least squares, Ensemble learning, 020901 industrial engineering & automation, Robustness (computer science), Ordinary least squares, 0202 electrical engineering, electronic engineering, information engineering, Mathematics, Parametric statistics

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::9159fb0c4383144677c43c92e0b4766fTest
https://doi.org/10.1109/cdc.2016.7799243Test

المؤلفون: Alexandre Donzé, Pierluigi Nuzzo, Sanjit A. Seshia, Dorsa Sadigh, S. Shankar Sastry, Shromona Ghosh, Alberto Sangiovanni-Vincentelli, Vasumathi Raman

المساهمون: Abate, Alessandro, Fainekos, Georgios E

المصدر: Ghosh, S; Sadigh, D; Nuzzo, P; Raman, V; Donzé, A; Sangiovanni-Vincentelli, AL; et al.Abate, A; & Fainekos, GE eds. (2016). Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications.. HSCC, 31-40. doi: 10.1145/2883817.2883847. UC Berkeley: Retrieved from: http://www.escholarship.org/uc/item/5zm5x9c7Test
HSCC

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 0209 industrial biotechnology, Engineering, Mathematical optimization, business.industry, Control engineering, 02 engineering and technology, Systems and Control (eess.SY), Logic in Computer Science (cs.LO), Electric power system, Model predictive control, 020901 industrial engineering & automation, Signal temporal logic, Control theory, Hybrid system, 0202 electrical engineering, electronic engineering, information engineering, FOS: Electrical engineering, electronic engineering, information engineering, Computer Science - Systems and Control, 020201 artificial intelligence & image processing, business, Focus (optics), Integer (computer science)

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::df82af0840ecd68903358e2a6a263cc6Test
http://www.escholarship.org/uc/item/5zm5x9c7Test

المؤلفون: Eric S. Kim, Samuel Coogan, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia

المصدر: Sadigh, D; Kim, ES; Coogan, S; Sastry, SS; & Seshia, SA. (2014). A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications.. CDC, 1091-1096. doi: 10.1109/CDC.2014.7039527. UC Berkeley: Retrieved from: http://www.escholarship.org/uc/item/5st9t32rTest
CDC
Proceedings of the IEEE Conference on Decision and Control, vol 2015-February, iss February
Sadigh, D; Kim, ES; Coogan, S; Sastry, SS; & Seshia, SA. (2014). A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications. Proceedings of the IEEE Conference on Decision and Control, 2015-February(February), 1091-1096. doi: 10.1109/CDC.2014.7039527. UC Berkeley: Retrieved from: http://www.escholarship.org/uc/item/63h3w6jsTest

مصطلحات موضوعية: 0209 industrial biotechnology, Mathematical optimization, Markov process, Systems and Control (eess.SY), 02 engineering and technology, Computer Science::Robotics, symbols.namesake, 020901 industrial engineering & automation, 0203 mechanical engineering, Linear temporal logic, Control theory, Computer Science::Logic in Computer Science, FOS: Electrical engineering, electronic engineering, information engineering, 0202 electrical engineering, electronic engineering, information engineering, Mathematics, 020301 aerospace & aeronautics, Partially observable Markov decision process, Function (mathematics), cs.SY, Automaton, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Product (mathematics), symbols, Computer Science - Systems and Control, 020201 artificial intelligence & image processing, Markov decision process, Algorithm, Computer Science::Formal Languages and Automata Theory

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e579eb8453158403ee31551b544b4a9Test
http://www.escholarship.org/uc/item/5st9t32rTest