Profil personnel
Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
-
ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Collins, P., Forets, M., Mitsch, S., Patel, I., Perschl, M., Schilling, C. & Tillet, J., 1 janv. 2025, Dans: EPiC Series in Computing. 108, p. 39-70 32 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
Integration of acoustic constraints in trajectory generation
Hoareau, D., Berrah, D., Tillet, J. & Chapoutot, A., 1 janv. 2025, 11th 2025 International Conference on Control, Decision and Information Technologies, CoDIT 2025. Institute of Electrical and Electronics Engineers Inc., p. 988-994 7 p. (11th 2025 International Conference on Control, Decision and Information Technologies, CoDIT 2025).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Real-Time Guaranteed Monitoring for a Drone Using Interval Analysis and Signal Temporal Logic
Besset, A., Dit Sandretto, J. A. & Tillet, J., 1 janv. 2025, IROS 2025 - 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems, Conference Proceedings. Laugier, C., Renzaglia, A., Atanasov, N., Birchfield, S., Cielniak, G., De Mattos, L., Fiorini, L., Giguere, P., Hashimoto, K., Ibanez-Guzman, J., Kamegawa, T., Lee, J., Loianno, G., Luck, K., Maruyama, H., Martinet, P., Moradi, H., Nunes, U., Pettre, J., Pretto, A., Ranzani, T., Ronnau, A., Rossi, S., Rouse, E., Ruggiero, F., Simonin, O., Wang, D., Yang, M., Yoshida, E. & Zhao, H. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 14892-14898 7 p. (IEEE International Conference on Intelligent Robots and Systems ).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis
Besset, A., Tillet, J. & Dit Sandretto, J. A., 1 janv. 2025, 2025 IEEE 64th Conference on Decision and Control, CDC 2025. Institute of Electrical and Electronics Engineers Inc., p. 6400-6407 8 p. (Proceedings of the IEEE Conference on Decision and Control).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Collins, P., Forets, M., Mitsch, S., Schilling, C., Tillet, J. & Wetzlinger, M., 1 janv. 2024, Dans: EPiC Series in Computing. 103, p. 39-63 25 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
A Fuzzy Set Estimation Using Interval Contractors: Application to Localization
Tillet, J., Jaulin, L., Le Bars, F. & Boukezzoula, R., 1 janv. 2022, Dans: Reliable Computing. 29, p. 4-25 22 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
Non-linear control under state constraints with validated trajectories for a mobile robot towing a trailer
Tillet, J., Jaulin, L. & Bars, F. L., 24 oct. 2020, 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020. Institute of Electrical and Electronics Engineers Inc., p. 7729-7736 8 p. 9341712. (IEEE International Conference on Intelligent Robots and Systems).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Tight slalom control for sailboat robots
Le Gallic, M., Tillet, J., Le Bars, F. & Jaulin, L., 1 janv. 2018, Dans: CEUR Workshop Proceedings. 2331, p. 87-93 7 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs