Filtrer vos résultats
- 22
- 21
- 23
- 8
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 31
- 14
- 8
- 3
- 1
- 1
- 7
- 3
- 1
- 3
- 7
- 1
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 42
- 1
- 39
- 6
- 5
- 5
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 43
- 13
- 7
- 6
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
43 résultats
|
|
triés par
|
|
State Estimation and Property-Guided Exploration for Hybrid Systems Testing24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.152-167, ⟨10.1007/978-3-642-34691-0_12⟩
Communication dans un congrès
hal-01482399v1
|
||
|
Data-based Pharmacodynamic Modeling for BIS and Mean Arterial Pressure Prediction during General AnesthesiaECC 2023 - 21st European Control Conference, European Control Association; University Politehnica Bucharest, Jun 2023, Bucarest, Romania. ⟨10.23919/ECC57647.2023.10178214⟩
Communication dans un congrès
hal-04066401v1
|
||
|
Safe Self-Triggered Control Based on Precomputed Reachability SequencesProceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, May 2023, San Antonio Texas, United States. ⟨10.1145/3575870.3587124⟩
Communication dans un congrès
hal-04295861v1
|
||
|
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions26th ACM International Conference on Hybrid Systems: Computation and Control, May 2023, San Antonio, United States. ⟨10.1145/3575870.3587115⟩
Communication dans un congrès
hal-04295896v1
|
||
|
Reachability Analysis and Hybrid Systems Biology - In Memoriam Oded MalerLecture Notes in Computer Science (11705), 2019, Springer, Hybrid Systems Biology - 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers, ⟨10.1007/978-3-030-28042-0⟩
Ouvrages
hal-02402496v1
|
||
|
Learning Specifications for Labelled PatternsProceedinfs of the 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), Sep 2020, Vienna, Austria
Communication dans un congrès
hal-03035697v1
|
||
|
Falsification of Cyber-Physical Systems with Constrained Signal SpacesNASA Formal Methods, May 2020, Moffett Field, United States. pp.420-439, ⟨10.1007/978-3-030-55754-6_25⟩
Communication dans un congrès
hal-03049273v1
|
||
|
Safety Verification of Networked Control Systems by Complex ZonotopesLeibniz Transactions on Embedded Systems, 2022, 8 (2), ⟨10.4230/LITES.8.2.1⟩
Article dans une revue
hal-03477894v1
|
||
|
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations68 (7), pp.953-966, 2019, ⟨10.1109/TC.2018.2851235⟩
Ouvrages
hal-02402354v1
|
||
Set-Based Analysis for Biological ModelingAutomated Reasoning for Systems Biology and Medicine, 2019, 978-3-030-17296-1
Chapitre d'ouvrage
hal-02273714v1
|
|||
Community based on tourism: a logical alternative as a model of sustainable development in the central region of Vietnam.In International Conference of Territorial Intelligence, Salerno, 2009., Nov 2009, Salerno, Italy. pp.10
Communication dans un congrès
halshs-00533765v1
|
|||
|
Verification and Synthesis of Timing Contracts for Embedded ControllersHSCC'16: Proceedings of the 19th international conference on hybrid systems: computation and control, Apr 2016, Vienna, Austria. pp.115-124, ⟨10.1145/2883817.2883827⟩
Communication dans un congrès
hal-01276251v1
|
||
|
PAS: a Python Anesthesia Simulator for drug controlJournal of Open Source Software, 2023, 8 (88), pp.5480. ⟨10.21105/joss.05480⟩
Article dans une revue
hal-04183029v1
|
||
Timing contracts for multi-core embedded control systemsSophie Tarbouriech, Antoine Girard, Laurentiu Hetel. Control subject to Computational and Communication Constraints, 475, Springer, pp.97-118, 2018, Lecture Notes in Control and Information Sciences, ⟨10.1007/978-3-319-78449-6_6⟩
Chapitre d'ouvrage
hal-01912683v1
|
|||
|
Abstraction by Projection and Application to Multi-affine SystemsHybrid Systems: Computation and Control, 7th International Workshop, 2004, Philadelphia, United States. pp.32-47, ⟨10.1007/b96398⟩
Communication dans un congrès
hal-00157551v1
|
||
|
Explaining Safety Violations in Real-Time Systems[Research Report] RR-9420, INRIA; Verimag, Université Grenoble Alpes. 2021
Rapport
hal-03348046v1
|
||
Approximate reachability analysis of piecewise-linear dynamical systemsInternational Workshop on Hybrid Systems: Computation & Control - HSCC'2000, 2000, Pittsburgh, PA, USA, pp.20-31
Communication dans un congrès
inria-00099316v1
|
|||
Effective Synthesis of Switching Controllers for Linear SystemsProceedings of the IEEE, 2000, 88 (7), pp.1011-1025
Article dans une revue
inria-00099342v1
|
|||
|
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle RepresentationsIEEE Transactions on Computers, 2019, 68 (7), pp.953-966. ⟨10.1109/TC.2018.2851235⟩
Article dans une revue
hal-01956817v1
|
||
|
Generation of Signals Under Temporal Constraints for CPS TestingNASA Formal Methods NFM 2019, May 2019, Houston, TX, United States. ⟨10.1007/978-3-030-20652-9⟩
Communication dans un congrès
hal-02402402v1
|
||
|
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations2017
Pré-publication, Document de travail
hal-01448167v1
|
||
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
|
|||
|
Hybridization methods for the analysis of nonlinear systemsActa Informatica, 2007, 43 (7), pp.451-476. ⟨10.1007/s00236-006-0035-7⟩
Article dans une revue
hal-00157475v1
|
||
|
Generation of Signals Under Temporal Constraints for CPS TestingNASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, pp.54-70, 2019
Chapitre d'ouvrage
hal-02157644v1
|
||
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
|
|||
|
Verification and Synthesis of Hybrid SystemsOther [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2000. English. ⟨NNT : ⟩
Thèse
tel-00006738v1
|
||
|
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
|
||
|
Self-Triggered Control for Sampled-data Systems using Reachability AnalysisIFAC 2017 - 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.745⟩
Communication dans un congrès
hal-01540847v1
|
||
|
Scheduling of Embedded Controllers Under Timing Contracts20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2017), Apr 2017, Pittsburgh, PA, United States. pp.131 - 140, ⟨10.1145/3049797.3049816⟩
Communication dans un congrès
hal-01540841v1
|
||
Moving Horizon Estimation for Anesthesia dynamicsPGMO days 2023, Nov 2023, Palaiseau, France. pp.84
Communication dans un congrès
hal-04379146v1
|
- 1
- 2