Faculty

Institution

Unit

Venue

Sayan Mitra

Professor

University of Illinois Urbana-Champaign

Affiliations

The Grainger College of Engineering

Department of Electrical and Computer Engineering

Sayan Mitra is currently serving as an Electrical And Computer Engineering Professor at University of Illinois Urbana-Champaign.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Sayan Mitra

University of Illinois Urbana-Champaign

Professor

You can click a keyword to filter the displayed items

systems engineering computer science formal methods formal verification verification automatic control cyber-physical systems control systems applied mathematics computer engineering control optimization automated reasoning system safety distributed systems autonomous robots systems modeling dynamical systems computer-aided verification logic in computer science control system technology software analysis multiagent systems reachability problem system science intelligent vehicles model verification nonlinear dynamics reachability analysis model checking formal specification data privacy automaton operation software verification controller synthesis hybrid systems networked system design differential privacy data security state estimation automaton network formal technique system software timed system privacy-preserving communication model abstraction trajectory planning mechanical verification distributed robotics runtime verification safety systems logical automaton privacy protection information theory mathematical control theory hybrid system hybrid automata path planning trajectory optimization finite-state system safety analysis formal modeling safety verification hybrid automaton spacecraft attitude control linear systems synthesis problem input signal topological entropy load balancing metric spaces estimation entropy invariant verification reach-avoid specifications powertrain verification challenge rectangular hybrid systems stationary virtual nodes automation engineering robotics intelligent robot

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Indistinguishability in Localization and Control With Coarse Information. (2025)

Daniel LiberzonSayan Mitra

control optimizationlocalization techniqueabstract and applied analysistheory of computationlocalizationcoarse informationapplied mathematicsmathematicsautomatic control

Lyapunov Perception Contracts. L4DC (2025)

Sayan Mitra

lyapunov analysisdeterministic dynamical systemsnonlinear dynamicsnonlinear systemsdynamical systemsstochastic processlyapunov perception contractsapplied mathematicsmathematics

Modeling and Analysis of Collision Avoidance With Acas Xu in Verse for the Guam Lift + Cruise Model. AIAA SCITECH 2022 Forum (2025)

John L. BullockLin SongGokul PuthumanaillamYangge LiSheng ChengMelkior OrnikSayan MitraNaira Hovakimyan

engineeringship designship maneuveringcollision avoidancemarine engineeringaerospacenavigationacas xuvehicle system dynamicsmodeling and simulationaerospace engineeringaircraft navigationaircraft

Reachability for Nonsmooth Systems With Lexicographic Jacobians. Lecture notes in computer science (2025)

Chenxi JiHuan ZhangSayan Mitra

mathematical analysisrational mechanicnonsmooth systemsabstract and applied analysisreachability problemdynamical systemsdiscrete dynamical systemsgeneral systemsmathematical sciencessymbolic dynamicsapplied mathematicsmathematicsmathematical logic

'Too Theoretical and Nowhere Near Interesting': Using a Tool to Increase Student Motivation for Formal Methods. (2025)

Katherine BraughtYangge LiKatherine Driggs-CampbellSayan Mitra

learning scienceseducationstudent motivationeducational strategiesmathematics educationincrease student motivationstudent engagementnowhere near interestingperformance studieseducational researchformal methodsinstructional designexperiential learning

Verification and Validation of a Vision-Based Landing System for Autonomous Vtol Air Taxis. AIAA SCITECH 2022 Forum (2025)

Ayoosh BansalDuo WangMikael YeghiazaryanYangge LiChuyuan TaoHyung-Jin YoonPrateek AroraChristos PapachristosPetros VoulgarisSayan MitraLui ShaNaira Hovakimyan

computer visionaerospacenavigationunmanned aircraft systemsunmanned vehiclesintelligent transportation systemsaerial roboticsautonomous robotsflying robotfield roboticsmachine visionintelligent vehiclesvehicle system dynamicsaerospace engineeringunmanned aerial vehiclessystems engineeringunmanned systemsair vehicle systemvision-based landing systemaircraft

Verifying Vision-Based Autonomy With Abstract Rendering and Perception Contracts. (2025)

Yangge LiChenxi JiSayan Mitra

autonomycomputer sciencegraphicsautonomous robotsabstract renderingvision roboticssystem autonomyrobotics perception

Acm Tcps Foreword to Special Issue for Iccps 2022. ACM Transactions on Cyber-Physical Systems (2024)

Sayan MitraNalini Venkatasubramanian

transport layertransmissionnetworked system designcommunications systemscommunication securityacm tcps forewordcomputer engineeringreal-time protocoltelecommunication networkstime-sensitive networking

Assured Collision Avoidance for Learned Controllers: A Case Study of Acas Xu. AIAA SCITECH 2022 Forum (2024)

Gokul PuthumanaillamManav Ketan VoraTaha ShafaYangge LiMelkior OrnikSayan Mitra

learned controllerscomputer sciencecomputational intelligenceunmanned aircraft systemsunmanned aerial vehiclesintelligent controlverse toolkitsystems engineeringunmanned systemsneural networkflight controlaerospace engineeringneural network (machine learning)cyber-physical systemsautomatic control

Assuring Safety of Vision-Based Swarm Formation Control. 2022 American Control Conference (ACC) (2024)

Chiao HsiehYubin KohYangge LiSayan Mitra

automationautonomous robotsswarm roboticsnetworked swarmswarm dynamicsystems engineeringswarm intelligencemultiagent systemsautomatic control

1
2
3
4
5
20
10 / page

Sayan Mitra

Professor

University of Illinois Urbana-Champaign

Affiliations

The Grainger College of Engineering

Department of Electrical and Computer Engineering

Sayan Mitra is currently serving as an Electrical And Computer Engineering Professor at University of Illinois Urbana-Champaign.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Sayan Mitra

University of Illinois Urbana-Champaign

Professor

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Indistinguishability in Localization and Control With Coarse Information. (2025)

Daniel LiberzonSayan Mitra

control optimizationlocalization techniqueabstract and applied analysistheory of computationlocalizationcoarse informationapplied mathematicsmathematicsautomatic control

Lyapunov Perception Contracts. L4DC (2025)

Sayan Mitra

lyapunov analysisdeterministic dynamical systemsnonlinear dynamicsnonlinear systemsdynamical systemsstochastic processlyapunov perception contractsapplied mathematicsmathematics

Modeling and Analysis of Collision Avoidance With Acas Xu in Verse for the Guam Lift + Cruise Model. AIAA SCITECH 2022 Forum (2025)

John L. BullockLin SongGokul PuthumanaillamYangge LiSheng ChengMelkior OrnikSayan MitraNaira Hovakimyan

engineeringship designship maneuveringcollision avoidancemarine engineeringaerospacenavigationacas xuvehicle system dynamicsmodeling and simulationaerospace engineeringaircraft navigationaircraft

Reachability for Nonsmooth Systems With Lexicographic Jacobians. Lecture notes in computer science (2025)

Chenxi JiHuan ZhangSayan Mitra

'Too Theoretical and Nowhere Near Interesting': Using a Tool to Increase Student Motivation for Formal Methods. (2025)

Katherine BraughtYangge LiKatherine Driggs-CampbellSayan Mitra

Verification and Validation of a Vision-Based Landing System for Autonomous Vtol Air Taxis. AIAA SCITECH 2022 Forum (2025)

Ayoosh BansalDuo WangMikael YeghiazaryanYangge LiChuyuan TaoHyung-Jin YoonPrateek AroraChristos PapachristosPetros VoulgarisSayan MitraLui ShaNaira Hovakimyan

Verifying Vision-Based Autonomy With Abstract Rendering and Perception Contracts. (2025)

Yangge LiChenxi JiSayan Mitra

autonomycomputer sciencegraphicsautonomous robotsabstract renderingvision roboticssystem autonomyrobotics perception

Acm Tcps Foreword to Special Issue for Iccps 2022. ACM Transactions on Cyber-Physical Systems (2024)

Sayan MitraNalini Venkatasubramanian

Assured Collision Avoidance for Learned Controllers: A Case Study of Acas Xu. AIAA SCITECH 2022 Forum (2024)

Gokul PuthumanaillamManav Ketan VoraTaha ShafaYangge LiMelkior OrnikSayan Mitra

Assuring Safety of Vision-Based Swarm Formation Control. 2022 American Control Conference (ACC) (2024)

Chiao HsiehYubin KohYangge LiSayan Mitra

automationautonomous robotsswarm roboticsnetworked swarmswarm dynamicsystems engineeringswarm intelligencemultiagent systemsautomatic control

1
2
3
4
5
20
10 / page

Similar Faculty Members

Geir Dullerud

Institution

University of Illinois Urbana-Champaign

control system security

stochastic process

Mahesh Viswanathan

Institution

University of Illinois Urbana-Champaign

software engineering

programming language

Girish Chowdhary

Institution

University of Illinois Urbana-Champaign

machine vision

robotics

Cedric Langbort

Institution

University of Illinois Urbana-Champaign

optimal control

control system

Marco Caccamo

Institution

University of Illinois Urbana-Champaign

multicore architectures

design

Anak Agung Julius

Institution

Rensselaer Polytechnic Institute

system theory

biocybernetics

Taylor Johnson

Institution

Vanderbilt University

design automation

system safety

Petros Voulgaris

Institution

University of Nevada, Reno

robust control

command and control

Dusan M Stipanovic

Institution

University of Illinois Urbana-Champaign

technology

health system analysis

Madhusudan Parthasarathy

Institution

University of Illinois Urbana-Champaign

secure software engineering

software engineering

Similar Faculty Members

Geir Dullerud

Institution

University of Illinois Urbana-Champaign

control system security

stochastic process

Mahesh Viswanathan

Institution

University of Illinois Urbana-Champaign

software engineering

programming language

Girish Chowdhary

Institution

University of Illinois Urbana-Champaign

machine vision

robotics

Cedric Langbort

Institution

University of Illinois Urbana-Champaign

optimal control

control system

Marco Caccamo

Institution

University of Illinois Urbana-Champaign

multicore architectures

design

Anak Agung Julius

Institution

Rensselaer Polytechnic Institute

system theory

biocybernetics

Taylor Johnson

Institution

Vanderbilt University

design automation

system safety

Petros Voulgaris

Institution

University of Nevada, Reno

robust control

command and control

Dusan M Stipanovic

Institution

University of Illinois Urbana-Champaign

technology

health system analysis

Madhusudan Parthasarathy

Institution

University of Illinois Urbana-Champaign

secure software engineering

software engineering