Matheus Souza

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 34

Top Topics

Scene Structure

Computational Intelligence

Top Venues

Int. J. Control

Publications

Qiang Fu, Matheus Souza, Eunsue Choi, Suhyun Shin, Seung-Hwan Baek, Wolfgang Heidrich
Limitations of Data-Driven Spectral Reconstruction - An Optics-Aware Analysis. CoRR (2024)
Xinge Yang, Matheus Souza, Kunyi Wang, Praneeth Chakravarthula, Qiang Fu, Wolfgang Heidrich
End-to-End Hybrid Refractive-Diffractive Lens Design with Differentiable Ray-Wave Model. CoRR (2024)
Matheus Souza, Wolfgang Heidrich
MetaISP - Exploiting Global Scene Structure for Accurate Multi-Device Color Rendition. CoRR (2024)
Matheus Souza, Yidan Zheng, Kaizhang Kang, Yogeshwar Nath Mishra, Qiang Fu, Wolfgang Heidrich
Latent Space Imaging. CoRR (2024)
Matheus Souza, Wolfgang Heidrich
MetaISP - Exploiting Global Scene Structure for Accurate Multi-Device Color Rendition. VMV (2023)
Matheus Souza, Wolfgang Heidrich
CRISPnet: Color Rendition ISP Net. CoRR (2022)
Ramen Ghosh, Jakub Marecek, Wynita M. Griggs, Matheus Souza, Robert N. Shorten
Predictability and Fairness in Social Sensing. IEEE Internet Things J. 9 (1) (2022)
Graziella Bedenik, Matheus Souza, Elyson A. N. Carvalho, Lucas Molina, Jugurta Montalvão, Raimundo C. S. Freire
Analysis of Parameters Influence in a MOX Gas Sensor Model. I2MTC (2022)
Marcos Vinícius dos Santos Ferreira, Ariel Almeida, João Paulo Canário, Matheus Souza, Tatiane M. Nogueira, Ricardo Araújo Rios
Ethics of AI: Do the Face Detection Models Act with Prejudice? BRACIS (2) (2021)
Vinícius B. Falchetto, Matheus Souza, André R. Fioravanti, Robert N. Shorten
ℋ2 and ℋ∞ analysis and state feedback control design for discrete-time constrained switched linear systems. Int. J. Control 94 (10) (2021)
Flávia Pires, Matheus Souza, Bilal Ahmad, Paulo Leitão
Decision Support Based on Digital Twin Simulation: A Case Study. SOHOMA (2020)
Ramen Ghosh, Jakub Marecek, Wynita M. Griggs, Matheus Souza, Robert N. Shorten
Predictability and Fairness in Social Sensing. CoRR (2020)
Matheus F. Amorim, Alim P. C. Gonçalves, André R. Fioravanti, Matheus Souza
Optimal H 2 output-feedback control of sampled-data systems. Int. J. Control 93 (9) (2020)
André R. Fioravanti, Jakub Marecek, Robert N. Shorten, Matheus Souza, Fabian R. Wirth
On the ergodic control of ensembles. Autom. 108 (2019)
Rafael M. Alves, André R. Fioravanti, Matheus Souza
Sampled-Data Control of Interval Systems with Guaranteed H∞ Performance. ECC (2019)
Matheus Souza, Elyson Carvalho, Jânio Coutinho Canuto
A density and temperature invariant displacer-type liquid level measuring method. I2MTC (2018)
Matheus Souza, Wynita M. Griggs, Jakub Marecek, Robert N. Shorten
Regulating the Searching Behaviour of Parked Vehicles Attempting to Locate Moving, Missing Entities. ITSC (2018)
Yingqi Gu, Mingming Liu, Matheus Souza, Robert Shorten
On the Design of an Intelligent Speed Advisory System for Cyclists. CoRR (2018)
Pedro Almir Oliveira, Pedro de Alcântara dos Santos Neto, Ricardo Britto, Ricardo A. L. Rabêlo, Ronyérison Braga, Matheus Souza
CIaaS - computational intelligence as a service with Athena. Comput. Lang. Syst. Struct. 54 (2018)
André R. Fioravanti, Jakub Marecek, Robert N. Shorten, Matheus Souza, Fabian R. Wirth
On the Ergodic Control of Ensembles. CoRR (2018)
Matheus Souza, André R. Fioravanti, Robert N. Shorten
On analysis and design of discrete-time constrained switched systems. Int. J. Control 91 (2) (2018)
Yingqi Gu, Mingming Liu, Matheus Souza, Robert N. Shorten
On the Design of an Intelligent Speed Advisory System for Cyclists. ITSC (2018)
Ronyérison Braga, Pedro de Alcântara dos Santos Neto, Ricardo de Andrade Lira Rabelo, José Santiago, Matheus Souza
A machine learning approach to generate test oracles. SBES (2018)
Matheus Souza, André R. Fioravanti, Martin J. Corless, Robert N. Shorten
Switching Controller Design With Dwell-Times and Sampling. IEEE Trans. Autom. Control. 62 (11) (2017)
André R. Fioravanti, Jakub Marecek, Robert N. Shorten, Matheus Souza, Fabian R. Wirth
On classical control and smart cities. CDC (2017)
Matheus Souza, Fabian R. Wirth, Robert N. Shorten
A Note on Recursive Schur Complements, Block Hurwitz Stability of Metzler Matrices, and Related Results. IEEE Trans. Autom. Control. 62 (8) (2017)
Matheus Souza, José Claudio Geromel
dynamic output feedback for local sensor - remote actuator networks. IMA J. Math. Control. Inf. 33 (2) (2016)
Caetano B. Cardeliquio, Matheus Souza, Rubens H. Korogui, André R. Fioravanti
Stability analysis and state-feedback control design for time-delay systems. ECC (2016)
Grace S. Deaecto, Matheus Souza, José Claudio Geromel
Discrete-Time Switched Linear Systems State Feedback Design With Application to Networked Control. IEEE Trans. Autom. Control. 60 (3) (2015)
José Claudio Geromel, Matheus Souza
On an LMI approach to optimal sampled-data state feedback control design. Int. J. Control 88 (11) (2015)
Matheus Souza, José Claudio Geromel, Patrizio Colaneri, Robert N. Shorten
Discretisation of sparse linear systems: An optimisation approach. Syst. Control. Lett. 80 (2015)
Matheus Souza, André R. Fioravanti, Robert N. Shorten
Constrained switched systems: Stability and performance. ECC (2015)
Abílio Oliveira, Matheus Souza, Marconi de A. Pereira, Felipe A. L. Reis, Paulo E. M. de Almeida, Eder J. Silva, Daniel S. Crepalde
Optimization of Taxi Cabs Assignment in Geographical Location-based Systems. GeoInfo (2015)
Matheus Souza, José Claudio Geromel
On a convex characterisation of stability and performance for hybrid linear systems. CDC (2015)
Matheus Souza, José Claudio Geromel, Patrizio Colaneri, Robert N. Shorten
On the discretisation of sparse linear systems. ECC (2014)
Gabriela W. Gabriel, Matheus Souza, José Claudio Geromel
ℋ2 state feedback sampled-data control for Markov Jump Linear Systems. CDC (2014)
Matheus Souza, André R. Fioravanti, José Claudio Geromel
Sampled - Data Filtering of Linear Systems. IEEE Trans. Signal Process. 62 (18) (2014)
Pedro Almir Oliveira, Matheus Souza, Ronyérison Braga, Ricardo Britto, Ricardo de Andrade Lira Rabelo, Pedro de Alcântara dos Santos Neto
Athena: A Visual Tool to Support the Development of Computational Intelligence Systems. ICTAI (2014)
Matheus Souza, Wynita M. Griggs, Rodrigo H. Ordóñez-Hurtado, Surya Shravan Kumar Sajja, Alexander Lanzon, Robert N. Shorten
Characterising discrete-time linear systems with the "mixed" positive real and bounded real property. Eur. J. Control 20 (5) (2014)
Matheus Souza, André R. Fioravanti, Robert N. Shorten
Dwell-time control of continuous-time switched linear systems. CDC (2014)
Matheus Souza, José Claudio Geromel
ℌ2 self-triggered dynamic output feedback for networked control. CDC (2013)
Grace S. Deaecto, Matheus Souza, José Claudio Geromel
State feedback switched control of discrete-time switched linear systems with application to networked control. MED (2013)
Matheus Souza, André R. Fioravanti, José Claudio Geromel
H2 filtering design for sampled-data systems. CDC (2013)
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina S. Pasareanu
CORAL: Solving Complex Constraints for Symbolic PathFinder. NASA Formal Methods (2011)