OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Chaudemar, Jean-Charles"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 11.

He, Xie and Chaudemar, Jean-Charles and Huang, J. and Defay, François Fault Tolerant Control of a Quadrotor based on Parameter Estimation Techniques and use of a Reconfigurable PID Controller. (2016) In: 24th Mediterranean conference on control & automation (MED), 21 June 2016 - 24 June 2016 (Athens, Greece).

Cardoso, Janette and Chaudemar, Jean-Charles and Hamez, Alexandre and Hugues, Jérôme and Siron, Pierre PRISE : une plate-forme de simulation distribuée pour l’ingénierie des systèmes embarqués. (2014) Génie Logiciel (n° 108). pp. 29-34. ISSN 1265-1397

Chaudemar, Jean-Charles and Savicks, Vitaly and Butler, Michael and Colley, John Co-simulation of Event-B and Ptolemy II Models via FMI. (2014) In: ERTS 2014 "Embedded real time software and systems", 5 February 2014 - 7 February 2014 (Toulouse, France).

Pierl, Christoph and Chaudemar, Jean-Charles and Lizy-Destrez, Stéphanie Application of the Systems Engineering methodology to the design of the AOCS of an Earth Observation satellite. (2012) In: Complex Systems Design & Management (CSD&M) 2012, 12 December 2012 - 14 December 2012 (Paris, France). (Unpublished)

Chaudemar, Jean-Charles. Étude des architectures de sécurité de systèmes autonomes. Formalisation et évaluation en Event-B. PhD, Systèmes embarqués, Institut Supérieur de l'Aéronautique et de l'Espace, 2012, 204 p.

Chaudemar, Jean-Charles and Bensana, Eric and Seguin, Christel Model based system assessment: formalisation et évaluation de systèmes autonomes en Event-B. (2011) In: Model Based Safety Assessment Workshop, 15-16 Mar 2011, Toulouse, France .

Chaudemar, Jean-Charles and Bensana, Eric and Seguin, Christel Analyse de sécurité de systèmes autonomes: formalisation et évaluation en Event-B. (2010) In: AFADL 2010 - Approches Formelles dans l'Assistance au Développement de Logiciels, 09-11 Juin 2010, Poitiers, France .

Chaudemar, Jean-Charles and Bensana, Eric and Seguin, Christel Model based safety analysis for an Unmanned Aerial System. (2010) In: DRHE 2010 - Dependable Robots in Human Environments, 16-17 June 2010, Toulouse, France .

Chaudemar, Jean-Charles and Bensana, Eric and Castel, Charles and Seguin, Christel AltaRica and event-B models for operational safety analysis: unmanned aerial vehicle case study. (2009) In: Workshop on Integration of Model-based Formal Methods and Tools , 15-19 Fev 2009, Düsseldorf, Germany .

Chaudemar, Jean-Charles and Castel, Charles and Seguin, Christel FDIR architectures for autonomous spacecraft: specification and assessment with event-B. (2008) In: Conference ABZ 2008 , 16-18 Sept 2008, London, United Kingdom .

Chaudemar, Jean-Charles and Castel, Charles and Gabard, Jean-François and Tessier, Catherine Z and ProCoSA based specification of a distributed FDIR in a satellite formation. (2007) In: CAR'07 : Second national workshop on Control Architectures of Robots, 31 May - 01 June 2007, Paris, France .

This list was generated on Sun Sep 25 00:29:43 2016 CEST.