Filtrer vos résultats
- 7
- 5
- 6
- 2
- 2
- 1
- 1
- 8
- 5
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 11
- 1
- 9
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 5
- 4
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
12 résultats
|
|
|
triés par
|
|
|
Scalable Verification of Hybrid SystemsSystems and Control [cs.SY]. Univ. Grenoble Alpes, 2016
HDR
tel-01714428v1
|
||
Formal Analysis of Timing Effects on Closed-loop Properties of Control Software35th IEEE Real-Time Systems Symposium 2014 (RTSS), Dec 2014, Rome, Italy
Communication dans un congrès
hal-01097622v1
|
|||
|
|
Constructing Verification Models of Nonlinear Simulink Systems via Syntactic Hybridization2017
Pré-publication, Document de travail
hal-01487658v2
|
||
|
|
Monitoring Dynamical Signals While Testing Timed Aspects of a System23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.115-130, ⟨10.1007/978-3-642-24580-0_9⟩
Communication dans un congrès
hal-01583916v1
|
||
|
|
Set Propagation Techniques for Reachability AnalysisAnnual Review of Control, Robotics, and Autonomous Systems , 2021, 4 (1), ⟨10.1146/annurev-control-071420-081941⟩
Article dans une revue
hal-03048155v1
|
||
|
|
Fourier Features in Reinforcement Learning with Neural NetworksTransactions on Machine Learning Research Journal, 2023
Article dans une revue
hal-04316346v1
|
||
Recent progress in continuous and hybrid reachability analysisIEEE International Symposium on Computer-Aided Control Systems Design 2006, Oct 2006, Munich, Germany. pp.1582 - 1587, ⟨10.1109/CACSD-CCA-ISIC.2006.4776877⟩
Communication dans un congrès
hal-00307031v1
|
|||
|
|
SpaceEx: Scalable Verification of Hybrid SystemsCAV 2011 - 23rd International Conference on Computer Aided Verification, Jul 2011, Snowbird, UT, United States. pp.379-395, ⟨10.1007/978-3-642-22110-1_30⟩
Communication dans un congrès
hal-00769608v1
|
||
Outils pour l'analyse des modèles hybridesOlivier H. Roux, Claude Jard. Approches formelles des systèmes embarqués communicants, Hermès, 2008, Traité IC2, série Informatique et systèmes d'information
Chapitre d'ouvrage
hal-00765809v1
|
|||
|
|
Data-driven Reachability using Christoffel Functions and Conformal PredictionThe 12th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2023), Sep 2023, Limassol, Cyprus
Communication dans un congrès
hal-04095745v1
|
||
|
|
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata (Experience Report)ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems., Apr 2017, Pittsburgh, United States
Communication dans un congrès
hal-01508674v1
|
||
Tools for the Analysis of Hybrid ModelsClaude Jard, Olivier H. Roux. Communicating Embedded Systems: Software and Design, Hermès, 2009, Wiley-ISTE, 978-1-84821-143-8
Chapitre d'ouvrage
hal-00765812v1
|