Filtrer vos résultats
- 9
- 2
- 7
- 4
- 8
- 2
- 2
- 1
- 1
- 5
- 2
- 3
- 11
- 11
- 9
- 8
- 6
- 4
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 11
- 7
- 7
- 3
- 2
- 2
- 1
- 1
11 résultats
|
|
triés par
|
|
Chaotic solutions in the quadratic integrate-and-fire neuron with adaptationCognitive Neurodynamics, 2009, 3 (3), pp.197-204. ⟨10.1007/s11571-008-9069-6⟩
Article dans une revue
inria-00300794v1
|
||
Verification of Safety and Liveness Properties of Metric Transition SystemsACM Transactions on Embedded Computing Systems (TECS), 2012, 11 (S2), pp.article 54. ⟨10.1145/2331147.2331164⟩
Article dans une revue
hal-00765686v1
|
|||
Bounded and unbounded safety verification using bisimulation metricsHSCC 2009 - 12th International Conference Hybrid Systems: Computation and Control, Apr 2009, San Francisco, CA, United States. pp.426-440, ⟨10.1007/978-3-642-00602-9_30⟩
Communication dans un congrès
istex
hal-00379746v1
|
|||
|
Voltage-stepping schemes for the simulation of spiking neural networksJournal of Computational Neuroscience, 2009, 26 (3), pp.409-423. ⟨10.1007/s10827-008-0119-1⟩
Article dans une revue
inria-00189386v4
|
||
|
Single Output Dependent Observability Normal FormSIAM Journal on Control and Optimization, 2007, 46 (6), pp.2242-2255. ⟨10.1137/050627137⟩
Article dans une revue
inria-00179184v1
|
||
|
Single output dependent quadratic observability normal formNOLCOS 2007 - 7th IFAC Symposium on Nonlinear Control Systems, Aug 2007, Pretoria, South Africa. pp.432-437, ⟨10.3182/20070822-3-ZA-2920.00071⟩
Communication dans un congrès
inria-00179222v1
|
||
|
Multi-Output Dependent Observability Normal FormNonlinear Analysis: Theory, Methods and Applications, 2009, 70 (1), pp.404-418. ⟨10.1016/j.na.2007.12.012⟩
Article dans une revue
inria-00192960v2
|
||
|
Geometrical Conditions for Output Depending Observability Normal FormCDC 2008 - 47th IEEE Conference on Decision and Control, Dec 2008, Cancun, Mexico. pp.5075-5079, ⟨10.1109/CDC.2008.4739505⟩
Communication dans un congrès
inria-00319964v1
|
||
|
Secure Communication Based on Multi-input Multi-output Chaotic System with Large Message AmplitudeChaos, Solitons & Fractals, 2009, 41 (3), pp.1510-1517. ⟨10.1016/j.chaos.2008.06.012⟩
Article dans une revue
inria-00285839v1
|
||
|
Secure data transmission based on multi-input multi-output delayed chaotic systemInternational journal of bifurcation and chaos in applied sciences and engineering , 2008, 18 (7), pp.2063-2072. ⟨10.1142/S0218127408021567⟩
Article dans une revue
inria-00176896v2
|
||
|
A multiple data secure communication based on synchronization of chaotic systems with zero dynamicsECC'07 - European Control Conference, Jul 2007, Kos, Greece. pp.5878-5883
Communication dans un congrès
inria-00193215v1
|