scispace - formally typeset
Search or ask a question
Institution

École normale supérieure de Cachan

EducationCachan, Île-de-France, France
About: École normale supérieure de Cachan is a education organization based out in Cachan, Île-de-France, France. It is known for research contribution in the topics: Decidability & Finite element method. The organization has 2717 authors who have published 5585 publications receiving 175925 citations.


Papers
More filters
Journal ArticleDOI
TL;DR: A new nonlinear control strategy is proposed for a permanent-magnet salient-pole synchronous motor which achieves accurate torque control and copper losses minimization without recurring to an internal current loop nor to any feedforward compensation.
Abstract: In this paper, a new nonlinear control strategy is proposed for a permanent-magnet salient-pole synchronous motor. This control strategy simultaneously achieves accurate torque control and copper losses minimization without recurring to an internal current loop nor to any feedforward compensation. It takes advantage of the rotor saliency by allowing the current (i/sub d/) to have nonzero values. This, in turn, allows us to increase the power factor of the machine and to raise the maximum admissible torque. We apply input-output linearization techniques where the inputs are the stator voltages and the outputs are the torque and a judiciously chosen new output. This new output insures a well-defined relative degree and is linked to the copper losses in such a way that, when forced to zero, it leads to maximum machine efficiency. The performance of our nonlinear controller is demonstrated by a real-time implementation using a digital signal processor (DSP) chip on a permanent-magnet salient-pole synchronous motor with sinusoidal flux distribution. The results are compared to the ones obtained with a scheme which forces the i/sub d/ current to zero.

94 citations

Journal ArticleDOI
TL;DR: By exploiting the cavity feeding effect on the phonon wings, the emission of the nanotube was locked at the cavity resonance frequency, which allowed us to tune the frequency over a 4 THz band while keeping an almost perfect antibunching.
Abstract: The narrow emission of a single carbon nanotube at low temperature is coupled to the optical mode of a fiber microcavity using the built-in spatial and spectral matching brought by this flexible geometry. A thorough cw and time-resolved investigation of the very same emitter both in free space and in cavity shows an efficient funneling of the emission into the cavity mode together with a strong emission enhancement corresponding to a Purcell factor of up to 5. At the same time, the emitted photons retain a strong sub-Poissonian statistics. By exploiting the cavity feeding effect on the phonon wings, we locked the emission of the nanotube at the cavity resonance frequency, which allowed us to tune the frequency over a 4 THz band while keeping an almost perfect antibunching. By choosing the nanotube diameter appropriately, this study paves the way to the development of carbon-based tunable single-photon sources in the telecom bands.

94 citations

Journal ArticleDOI
TL;DR: This paper proposes to infer a statistical brain model from the consistent integration of variability of sulcal lines, and its current-based diffeomorphic registration (CDR) approach is carefully compared to a pointwise line correspondences (PLC) method.

94 citations

Journal ArticleDOI
TL;DR: The property language characterizing the power of reachability testing is used to provide a definition of characteristics properties with respect to a timed version of the ready simulation preorder, for nodes of τ-free, deterministic timed automata.

94 citations

Journal ArticleDOI
TL;DR: It is shown that the coverability problem is a decidable problem in the framework of well-structured transition systems with a structured set of terminal states and the finite reachability tree problem and the infinite reachability set problem are decidable.
Abstract: We present a structure for transition systems with which the main decidability results on Petri nets can be generalized to structured transition systems We define the reduced reachability tree of a structured transition system; it allows one to decide the finite reachability tree problem (also called the finite termination problem) and the finite reachability set problem A general definition of the coverability set is given and the procedure of Karp and Miller is extended for well-structured transition systems We show then that the coverability problem is a decidable problem in the framework of well-structured transition systems Finally, we introduce structured set of terminal states and we show that the finite reachability tree problem and the finite reachability set problem are decidable Coverability is an open problem for structured transition systems with a structured set of terminal states

94 citations


Authors

Showing all 2722 results

NameH-indexPapersCitations
Shi Xue Dou122202874031
Olivier Hermine111102643779
John R. Reynolds10560750027
Shaul Mukamel95103040478
Tomás Torres8862528223
Ifor D. W. Samuel7460523151
Serge Abiteboul7327824576
Stéphane Roux6862719123
Zeger Debyser6740416531
Louis Nadjo6426412596
Praveen K. Thallapally6419012110
Andrew Travers6319313537
Shoji Takeuchi6369214704
Bineta Keita6327412053
Yves Mély6236813478
Network Information
Related Institutions (5)
École Polytechnique Fédérale de Lausanne
98.2K papers, 4.3M citations

92% related

École Normale Supérieure
99.4K papers, 3M citations

91% related

Georgia Institute of Technology
119K papers, 4.6M citations

91% related

University of Paris-Sud
52.7K papers, 2.1M citations

90% related

University of Paris
174.1K papers, 5M citations

90% related

Performance
Metrics
No. of papers from the Institution in previous years
YearPapers
20233
202222
202121
202029
201958
201879