Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models von Meyer, Pierre-Jean, Girard, Antoine, Witrant, Emmanuel

Volltext

Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis von Narvaez Aroche, Octavio, Meyer, Pierre-Jean, Tu, Stephen, Packard, Andrew, Arcak, Murat

Volltext

Compositional abstraction refinement for control synthesis von Meyer, Pierre-Jean, Dimarogonas, Dimos V.

Volltext

Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems von Meyer, Pierre-Jean, Dimarogonas, Dimos V.

Volltext

INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification von Boudardara, Fateh, Boussif, Abderraouf, Meyer, Pierre-Jean, Ghazel, Mohamed

Volltext

MiniCACTUS: A 65 ps Time Resolution Depleted Monolithic CMOS Sensor von Degerli, Yavuz, Guilloux, Fabrice, Hemperek, Tomasz, Meyer, Jean-Pierre, Schwemling, Philippe

Volltext

Reachability Analysis of Neural Networks Using Mixed Monotonicity von Meyer, Pierre-Jean

Volltext

Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings von Meyer, Pierre-Jean, Girard, Antoine, Witrant, Emmanuel

Volltext

Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity von Meyer, Pierre-Jean, Coogan, Samuel, Arcak, Murat

Volltext

French good practice guidelines for management of the risk of low back pain among workers exposed to manual material handling: Hierarchical strategy of risk assessment of work situ... von Petit, Audrey, Mairiaux, Philippe, Desarmenien, Arnaud, Meyer, Jean-Pierre, Roquelaure, Yves

Volltext

Relationships of Physical Job Tasks and Living Conditions with Occupational Injuries in Coal Miners von BHATTACHERJEE, Ashis, BERTRAND, Jean-Pierre, MEYER, Jean-Pierre, BENAMGHAR, Lahoucine, SIERRA, Carmen OTERO, MICHAELY, Jean-Pierre, GHOSH, Apurna Kumar, d'HOUTAUD, Alphonse, MUR, Jean-Marie, CHAU, Nearkasen, Group, Lorhandicap

Volltext

Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification von Meyer, Pierre-Jean, Devonport, Alex, Arcak, Murat

Volltext

Cardio-respiratory and subjective strains sustained by paraplegic subjects, when travelling on a cross slope in a manual wheelchair (MWC) von Pierret, Benoît, Desbrosses, Kévin, Paysant, Jean, Meyer, Jean-Pierre

Volltext

Fuzzy-TLX: using fuzzy integrals for evaluating human mental workload with NASA-Task Load indeX in laboratory and field studies von Mouzé-Amady, Marc, Raufaste, Eric, Prade, Henri, Meyer, Jean-Pierre

Volltext

Association of Physical Job Demands, Smoking and Alcohol Abuse with Subsequent Premature Mortality: A 9‐year Follow‐up Population‐based Study von Bourgkard, Eve, Wild, Pascal, Massin, Nicole, Meyer, Jean‐Pierre, Sierra, Carmen Otero, Fontana, Jean‐Marc, Benamghar, Lahoucine, Mur, Jean‐Marie, Ravaud, Jean‐François, Guillemin, Francis, Chau, Nearkasen, Group, Lorhandicap

Volltext

Interval Weight-Based Abstraction for Neural Network Verification von Boudardara, Fateh, Boussif, Abderraouf, Meyer, Pierre-Jean, Ghazel, Mohamed

Volltext

Reachability Analysis of Neural Networks with Uncertain Parameters von Meyer, Pierre-Jean

Volltext

Applying a time-limit model of movement frequency to field data: is it possible? von Turpin-Legendre, Emmanuelle, Meyer, Jean-Pierre

Volltext

Field data for “acceptable” frequency of repetitive task: data to support standardization work von Turpin-Legendre, Emmanuelle, Meyer, Jean-Pierre

Volltext

Closed-loop incremental stability for efficient symbolic control of non-linear systems von Tajvar, Pouria, Meyer, Pierre-Jean, Tumova, Jana

Volltext