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
|
|
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
|
||
|
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
|
||
|
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
|
||
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
|
||
Set-Based Analysis for Biological ModelingAutomated Reasoning for Systems Biology and Medicine, 2019, 978-3-030-17296-1
Chapitre d'ouvrage
hal-02273714v1
|
|||
|
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
|
||
|
Explaining Safety Violations in Real-Time Systems[Research Report] RR-9420, INRIA; Verimag, Université Grenoble Alpes. 2021
Rapport
hal-03348046v1
|
||
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
|
|||
|
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
|
||
|
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
|
||
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
|
|||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
Reachability analysis of non-linear systems using conservative approximationsHybrid Systems: Computation and Control, Apr 2003, Prague, Czech Republic. pp.20-35, ⟨10.1007/3-540-36580-X_5⟩
Communication dans un congrès
istex
hal-00307007v1
|
|||
|
Runtime Verification 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings13498, Springer International Publishing, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-17196-3⟩
Proceedings/Recueil des communications
hal-04298068v1
|
||
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
|
|||
|
Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability AnalysisAnalysis and Design of Hybrid Systems, IFAC, Oct 2015, Atlanta, United States. pp.358-363, ⟨10.1016/j.ifacol.2015.11.200⟩
Communication dans un congrès
hal-01276237v1
|
||
|
Stability Verification and Timing Contract Synthesis for Linear Impulsive Systems using Reachability AnalysisNonlinear Analysis: Hybrid Systems, 2017, 25, pp.211-226. ⟨10.1016/j.nahs.2016.08.007⟩
Article dans une revue
hal-01331737v1
|
||
|
On the Reachable Set of Uncertain Closed Loop Discrete-Time Linear SystemsIFAC WC 2020 - 21st IFAC World Congress, Jul 2020, Berlin (virtual), Germany
Communication dans un congrès
hal-03035743v1
|
||
|
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
|
||
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
|
|||
|
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
|
||
Moving Horizon Estimation for Anesthesia dynamicsPGMO days 2023, Nov 2023, Palaiseau, France. pp.84
Communication dans un congrès
hal-04379146v1
|
|||
|
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
|
||
|
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
|
- 1
- 2