Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             112 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A BOND GRAPH APPROACH FOR DIRECT CHARACTERIZATION OF INVARIANT ZEROS OF LINEAR TIME VARYING SYSTEMS Chalh, Z.
2007
40 20 p. 542-547
6 p.
artikel
2 ACCELERATION-BOUNDED CONTROL FOR DISCRETE TIME LINEAR SYSTEMS Bender, Fernando Augusto
2007
40 20 p. 512-517
6 p.
artikel
3 A HIGH-GAIN OBSERVER APPROACH APPLIED TO THE ROBUST FEEDBACK LINEARIZATION CONTROL El'youssef, Ebrahim Samer
2007
40 20 p. 64-69
6 p.
artikel
4 A LPV BASED SEMI-ACTIVE SUSPENSION CONTROL STRATEGY Poussot-Vassal, C.
2007
40 20 p. 106-111
6 p.
artikel
5 A LUENBERGER OBSERVER FOR AN INFINITE DIMENSIONAL BILINEAR SYSTEM: A UV DISINFECTION EXAMPLE Vries, D.
2007
40 20 p. 667-672
6 p.
artikel
6 A LYAPUNOV-METZLER CONDITION FOR ALMOST SURE STABILITY OF MARKOV JUMP LINEAR SYSTEMS Colaneri, Patrizio
2007
40 20 p. 244-249
6 p.
artikel
7 A METHOD FOR BIAS REDUCTION IN TIME DOMAIN LEAST SQUARES PARAMETER ESTIMATION Welsh, James S.
2007
40 20 p. 590-595
6 p.
artikel
8 A METHODOLOGY FOR THE INTEGRATED CIRCUIT AND CONTROL DESIGN OF A BUCK BOOST CONVERTER Pomar, Martín J.
2007
40 20 p. 286-291
6 p.
artikel
9 AN ALGEBRAIC APPROACH TO THE CONTROL OF SPATIALLY DISTRIBUTED SYSTEMS — THE 2-D SYSTEMS CASE WITH A PHYSICAL APPLICATION Augusta, P.
2007
40 20 p. 196-201
6 p.
artikel
10 AN APPLICATION OF INTERPOLATING GAIN-SCHEDULING CONTROL De Caigny, J.
2007
40 20 p. 88-93
6 p.
artikel
11 AN EFFICIENT APPROACH FOR INTEGRATED DESIGN OF DAMPING PARAMETERS AND FEEDBACK CONTROLLER: H2 PERSPECTIVE Mohammadpour, Javad
2007
40 20 p. 178-183
6 p.
artikel
12 AN EXTENDED STATE-FEEDBACK H2 CONTROLLER FOR DESCRIPTOR SYSTEMS Yagoub, Mohamed
2007
40 20 p. 386-391
6 p.
artikel
13 AN IMPROVED FUZZY ERROR GOVERNOR FOR MIMO SYSTEMS WITH INPUT SATURATION: DEVELOPMENT AND COMPARISON Ozgoli, Sadjaad
2007
40 20 p. 524-529
6 p.
artikel
14 A SIMPLE TEST FOR STABILITY OF CONTINUOUS BIVARIATE POLYNOMIALS Rodríguez-Angeles, E.
2007
40 20 p. 214-219
6 p.
artikel
15 ASYMPTOTIC SOLUTION OF CONTROL PROBLEMS FOR DISCRETE WEAKLY CONTROLLABLE SYSTEMS Kurina, G.
2007
40 20 p. 344-349
6 p.
artikel
16 A TRIANGULAR FORM FOR FLAT NONLINEAR SYSTEMS WITH TWO CONTROLS AND FIVE OR LESS STATES Silveira, H.B.
2007
40 20 p. 118-123
6 p.
artikel
17 A UNIFICATION OF ANALYTICAL EXPRESSIONS FOR CONTROL PERFORMANCE LIMITATIONS VIA RECIPROCAL TRANSFORM Hara, Shinji
2007
40 20 p. 620-625
6 p.
artikel
18 AUTOMATIC STARTUP OF NUCLEAR REACTORS USING DIFFERENTIAL NEURAL NETWORKS Pérez-Cruz, J. Humberto
2007
40 20 p. 112-117
6 p.
artikel
19 BMI-BASED STABILITY AND PERFORMANCE DESIGN FOR FUZZY CONTROL SYSTEMS Lam, H.K.
2007
40 20 p. 82-87
6 p.
artikel
20 BOUNDARY CONTROL OF A CHANNEL: PRACTICAL AND NUMERICAL STUDIES Dos Santos, Valerie
2007
40 20 p. 679-684
6 p.
artikel
21 CAUSALITY OF THE RESIDUAL STRUCTURE Verde, C.
2007
40 20 p. 548-553
6 p.
artikel
22 COMPARATIVE STUDY ON STATE FEEDBACK AND STATE-DERIVATIVE FEEDBACK IN LINEAR TIME INVARIANT SYSTEMS Araújo, José M.
2007
40 20 p. 28-33
6 p.
artikel
23 CONTROL/FAULT DIAGNOSIS INTERACTIONS ANALYSIS FOR STRUCTURED BILINEAR SYSTEMS Canitrot, S.
2007
40 20 p. 655-660
6 p.
artikel
24 CONTROL OF A BRACHIATION ROBOT WITH A SINGLE UNDERACTUATED JOINT USING NONLINEAR MODEL PREDICTIVE CONTROL de Oliveira, Vincius Menezes
2007
40 20 p. 430-435
6 p.
artikel
25 CONTROL OF MARKOV JUMP LINEAR SYSTEMS WITH STATE AND INPUT CONSTRAINTS: A NECESSARY OPTIMALITY CONDITION Vargas, Alessandro N.
2007
40 20 p. 250-255
6 p.
artikel
26 CONVERGENT LMI RELAXATIONS FOR ROBUST ANALYSIS OF UNCERTAIN DISCRETE-TIME MARKOV JUMP LINEAR SYSTEMS Oliveira, R.C.L.F.
2007
40 20 p. 314-319
6 p.
artikel
27 DATA-ROBUST DESIGN OF PID CONTROLLERS VIA INTERVAL LINEAR PROGRAMMING Mitra, Sandipan
2007
40 20 p. 632-636
5 p.
artikel
28 DESIGN AND IMPLEMENTATION OF ROBUST CONTROL CONCEPTS μ-SYNTHESIS AND SLIDING MODE CONTROL Kytka, Peter
2007
40 20 p. 608-613
6 p.
artikel
29 DESIGN OF STATE-DERIVATIVE FEEDBACK CONTROLLERS USING A STATE FEEDBACK CONTROL DESIGN Cardim, Rodrigo
2007
40 20 p. 22-27
6 p.
artikel
30 DISCRETE-TIME RICCATI EQUATIONS IN OPEN-LOOP STACKELBERG GAMES WITH TIME PREFERENCE RATES JUNGERS, Marc
2007
40 20 p. 476-481
6 p.
artikel
31 DISTURBANCES MONITORING FROM CONTROLLER STATES Alazard, Daniel
2007
40 20 p. 94-99
6 p.
artikel
32 DUALITIES IN SYSTEMS THEORY –WITH APPLICATION TO DELAY-DIFFERENTIAL SYSTEMS BOURLES, Henri
2007
40 20 p. 380-385
6 p.
artikel
33 DYNAMIC FLIGHT CONTROL LAWS, REAL-TIME IMPLEMENTATION ISSUES Puyou, Guilhem
2007
40 20 p. 100-105
6 p.
artikel
34 EQUIVALENCE OF MECHANICAL SYSTEMS Moog, Claude H.
2007
40 20 p. 442-445
4 p.
artikel
35 FAILURE DETECTION: SOME STRUCTURAL RESULTS del Muro Cuéllar, B.
2007
40 20 p. 637-642
6 p.
artikel
36 FAULT ESTIMATION USING SLIDING MODE OBSERVERS Martínez-Guerra, Rafael
2007
40 20 p. 649-654
6 p.
artikel
37 FEEDBACK CONTROL DESIGN FOR SWITCHED SYSTEMS WITH TIME-VARYING DELAY Kim, Sehjeong
2007
40 20 p. 142-147
6 p.
artikel
38 FEEDFORWARD BOUNDARY CONTROL OF LINEAR DISTRIBUTED PARAMETER SYSTEMS USING A NUMERICAL INVERSE LAPLACE TRANSFORM Kreuzinger, Tobias
2007
40 20 p. 673-678
6 p.
artikel
39 FLATNESS-BASED FAULT TOLERANT CONTROL OF A NONLINEAR MIMO SYSTEM USING ALGEBRAIC DERIVATIVE ESTIMATION Mai, P.
2007
40 20 p. 350-355
6 p.
artikel
40 FOULING DETECTION USING ULTRASONIC GUIDED WAVES AND PARAMETER ESTIMATION da Silva, Jaidilson Jó
2007
40 20 p. 572-577
6 p.
artikel
41 FULL ORDER LPV/H∞ OBSERVERS FOR LPV TIME-DELAY SYSTEMS Briat, C.
2007
40 20 p. 148-153
6 p.
artikel
42 GRASSMANN MATRICES, DETERMINANTAL ASSIGNMENT PROBLEM AND APPROXIMATE DECOMPOSABILITY Karcanias, N.
2007
40 20 p. 220-225
6 p.
artikel
43 H2-PSEUDO OPTIMAL MODEL FOLLOWING: A GEOMETRIC APPROACH Marro, G.
2007
40 20 p. 124-129
6 p.
artikel
44 H2 ROBUST FILTERING WITH OPTIMALITY GAP CERTIFICATION Geromel, José C.
2007
40 20 p. 292-302
11 p.
artikel
45 IMPROVED ROBUST H∞ FILTER DESIGN FOR DISCRETE-TIME LINEAR PARAMETER VARYING SYSTEMS 1 1 This work is partially supported by CNPq, Brazil, under grants PRONEX 0331.00/00, 30.2317/02-3/PQ and 302741/2005-4/PQ. The third author is supported by PCI/LNCC, Brazil. Coutinho, D.F.
2007
40 20 p. 320-325
6 p.
artikel
46 INTERNAL MODEL PRINCIPLE FOR TIME-DELAY SYSTEMS OF RETARDED TYPE Di Loreto, M.
2007
40 20 p. 685-690
6 p.
artikel
47 IPC Foreword da Silva Jr., JoÃo Manoel Gomes
2007
40 20 p. i-iii
nvt p.
artikel
48 LAGRANGIAN MODELING FOR A CLASS OF MOBILE MULTIBODY SYSTEMS de Souza, Eric Conrado
2007
40 20 p. 130-135
6 p.
artikel
49 LINEAR TIME-VARYING STRUCTURED SYSTEMS: PART I. GRAPHICAL REPRESENTATION AND ANALYSIS Lichiardopol, S.
2007
40 20 p. 554-559
6 p.
artikel
50 LINEAR TIME-VARYING STRUCTURED SYSTEMS: PART II. CONTROL SYNTHESIS Lichiardopol, S.
2007
40 20 p. 560-565
6 p.
artikel
51 LISA: A LINEAR STRUCTURED SYSTEM ANALYSIS PROGRAM Martinez-Martinez, S.
2007
40 20 p. 566-571
6 p.
artikel
52 LMI RELAXATIONS FOR H∞ CONTROL OF TIME-VARYING POLYTOPIC SYSTEMS BY MEANS OF PARAMETER-DEPENDENT QUADRATICALLY STABILIZING GAINS Oliveira, R.C.L.F.
2007
40 20 p. 614-619
6 p.
artikel
53 L∞ PERFORMANCE ANALYSIS/SYNTHESIS FOR CONTINUOUS-TIME CONTROL SYSTEMS WITH ACTUATOR SATURATION UNDER L∞ BOUNDED DISTURBANCE Sawada, Kenji
2007
40 20 p. 506-511
6 p.
artikel
54 MIXED MODEL BASED/FUZZY ADAPTIVE ROBUST CONTROLLER WITH H∞ CRITERION APPLIED TO WHEELED MOBILE ROBOTS Inoue, Roberto Santos
2007
40 20 p. 452-457
6 p.
artikel
55 MODEL-BASED SOIL PARAMETER IDENTIFICATION FOR WHEEL-TERRAIN INTERACTION DYNAMICS Hutangkabodee, Suksun
2007
40 20 p. 578-583
6 p.
artikel
56 MODELLING ASPECTS OF DESCRIBING A GAS NETWORK THROUGH A DAE SYSTEM Azevedo-Perdicoúlis, Teresa Paula
2007
40 20 p. 40-45
6 p.
artikel
57 MULTI-OBJECTIVE H2 CONTROL VIA SWITCHED LINEAR SYSTEMS Geromel, José C.
2007
40 20 p. 238-243
6 p.
artikel
58 NASH STRATEGY PARAMETER DEPENDENT CONTROL FOR POLYTOPIC SYSTEMS Jungers, M.
2007
40 20 p. 602-607
6 p.
artikel
59 NESTED INTEGRAL SLIDING MODE CONTROL OF MULTIMACHINE POWER SYSTEMS Huerta-Avila, H.
2007
40 20 p. 274-279
6 p.
artikel
60 NEW GEOMETRIC INSIGHT INTO THE ALMOST DISTURBANCE DECOUPLING PROBLEM BY STATE FEEDBACK Malabre, Michel
2007
40 20 p. 136-141
6 p.
artikel
61 NONLINEAR CONTROL DESIGN FOR THE ACROBOT Zikmund, Jiri
2007
40 20 p. 446-451
6 p.
artikel
62 NON-LINEAR OBSERVER FOR SLIP PARAMETER ESTIMATION OF UNMANNED WHEELED VEHICLES Song, Zibin
2007
40 20 p. 458-463
6 p.
artikel
63 OBSERVER DESIGN FOR A CLASS OF DISCRETE-TIME MULTIMODEL NONLINEAR SYSTEMS Hua, Yunjie
2007
40 20 p. 52-57
6 p.
artikel
64 OBSERVER DESIGN FOR DISCRETE-TIME LINEAR SWITCHING SYSTEMS 1 1 This work was partially supported by the HYCON Network of Excellence, contract number FP6-IST-511368 and by Ministero dell'Istruzione, dell'Universita’ e della Ricerca under Projects MACSI and SCEP (PRIN05) De Santis, E.
2007
40 20 p. 232-237
6 p.
artikel
65 ON CLASSICAL STATE SPACE REALIZABILITY OF QUADRATIC INPUT-OUTPUT DIFFERENTIAL EQUATIONS Kotta, ü.
2007
40 20 p. 332-337
6 p.
artikel
66 ON DC TO AC CONVERSION IN A BOOST SELF-OSCILLATING STRUCTURE BASED ON NON-LINEAR CONTROL TECHNIQUES Kaster, Maurício S.
2007
40 20 p. 280-285
6 p.
artikel
67 ON REDUCED ORDER AND STABLE CONTROLLERS FOR LTI SYSTEMS Trofino, Alexandre
2007
40 20 p. 303-307
5 p.
artikel
68 ON SOME DISSIPATIVITY PROPERTIES OF A CLASS OF POWER SYSTEM MODELS Giusto, Alvaro
2007
40 20 p. 262-267
6 p.
artikel
69 ON THE EQUIVALENCE BETWEEN DIFFERENTIAL FLATNESS AND DYNAMIC FEEDBACK LINEARIZABILITY Lévine, Jean
2007
40 20 p. 338-343
6 p.
artikel
70 ON THE FAUILURE DETECTION PROBLEM BY ADMISSIBLE POST-COMPENSATION Malabre, Michel
2007
40 20 p. 643-648
6 p.
artikel
71 ON THE SHAPE OF H2 PERFORMANCE CRITERIA 1 1 Work supported by the Belgian Programme on Interuniversity Attraction Poles, initiated by the Belgian Federal Science Policy Office, by the Brazilian Ministry of Education through CAPES, and by ARC Discovery-Projects Grants (DP0342683, DP0664427) and National ICT Australia. National ICT Australia is funded through the Australian Government's Backing Australia's Ability initiative, in part through the Australian Research Council. Bazanella, A.S.
2007
40 20 p. 190-195
6 p.
artikel
72 ON THE SUBSPACE-BASED INTERPOLATION OF RATIONAL MATRIX FUNCTIONS Akçay, Hüseyin
2007
40 20 p. 596-601
6 p.
artikel
73 PERFORMANCE LIMITS IN MULTI-CHANNEL NETWORKED CONTROL SYSTEM ARCHITECTURES Quevedo, Daniel E.
2007
40 20 p. 160-165
6 p.
artikel
74 PID CONTROLLER TUNING FOR BILINEAR CONTINUOUS TIME INVARIANT MIMO SYSTEM Yadykin, L.B.
2007
40 20 p. 464-469
6 p.
artikel
75 PIECEWISE-LINEAR APPROXIMATION OF NONLINEAR CELLULAR GROWTH Mojica, Eduardo
2007
40 20 p. 470-475
6 p.
artikel
76 POLE SHIFTING WITH SAMPLED-DATA LQ REGULATORS Fujinaka, Toru
2007
40 20 p. 482-487
6 p.
artikel
77 POLES OF LINEAR TIME-VARYING SYSTEMS REVISITED Marinescu, Bogdan
2007
40 20 p. 494-499
6 p.
artikel
78 POSITIVE OBSERVATION PROBLEM FOR LINEAR TIME-LAG POSITIVE SYSTEMS Rami, Mustapha Ait
2007
40 20 p. 536-541
6 p.
artikel
79 PRACTICAL STABILIZATION OF LINEAR TIME-VARYING CONTINUOUS SYSTEMS Garcia, Germain
2007
40 20 p. 488-493
6 p.
artikel
80 PREDICTIVE CONTROL FOR URBAN TRAFFIC NETWORKS: INITIAL EVALUATION de Oliveira, Lucas Barcelos
2007
40 20 p. 424-429
6 p.
artikel
81 PROBABILITY-GUARANTEED ROBUST FULL-ORDER AND REDUCED-ORDER H∞ -FILTERING Boyarski, S.
2007
40 20 p. 326-331
6 p.
artikel
82 PROJECTIONAL DYNAMIC NEURAL NETWORK OBSERVER Garcia, Alejandro
2007
40 20 p. 166-171
6 p.
artikel
83 PROPERTIES AND LYAPUNOV STABILITY OF THE ERROR-SQUARED CONTROLLER Sausen, Airam
2007
40 20 p. 58-63
6 p.
artikel
84 QUATERNIONIC SYMMETRY OF LINEAR DYNAMICAL SYSTEMS Pereira, Ricardo
2007
40 20 p. 368-373
6 p.
artikel
85 RECONSTRUCTIBILITY AND FORWARD-OBSERVABILITY OF BEHAVIORS OVER Aleixo, J.C.
2007
40 20 p. 374-379
6 p.
artikel
86 REDUCENESS PROPERTIES AND APPLICATIONS TO THE OPTIMAL ASSIGNMENT PROBLEM Sagianos, E.
2007
40 20 p. 184-189
6 p.
artikel
87 REGIONAL STABILIZATION OF SWITCHED SYSTEMS SUBJECT TO INPUT SATURATION 1 1 Grants from CNPq and FAPESP, Brazil. Montagner, V.F.
2007
40 20 p. 226-231
6 p.
artikel
88 REGULATOR BY SLIDING MODES WITH EXPONENTIAL HOLDER FOR LINEAR SYSTEMS Castillo-Toledo, B.
2007
40 20 p. 362-367
6 p.
artikel
89 RETRACTED: ABO A MATLAB PACKAGE FOR ANISOTROPY-BASED PERFORMANCE ANALYSIS AND CONTROLLER DESIGN Kurdyukov, A.P.
2007
40 20 p. 172-177
6 p.
artikel
90 REVERSE-ENGINEERING EXISTING CONTROLLERS FOR MPC DESIGN Maciejowski, Jan
2007
40 20 p. 436-441
6 p.
artikel
91 ROBUST CONSTRAINED PREDICTIVE CONTROL OF A MAGNETIC LEVITATION SYSTEM Maia, Marcelo Handro
2007
40 20 p. 418-423
6 p.
artikel
92 ROBUST FEEDBACK LINEARIZATION WITHOUT FULL STATE INFORMATION Franco, Ana Lúcia Driemeyer
2007
40 20 p. 70-75
6 p.
artikel
93 ROBUST IDENTIFICATION OF TRANSIENT PORT RESPONSES USING TIME DOMAIN ORTHONORMAL VECTOR FITTING Deschrijver, D.
2007
40 20 p. 584-589
6 p.
artikel
94 ROBUST STABILITY ANALYSIS VIA QUADRATIC DIFFERENTIAL FORMS Takaba, Kiyotsugu
2007
40 20 p. 308-313
6 p.
artikel
95 SELF - TUNING CONTROL OF CONTINUOUS - TIME TWO - INPUT TWO - OUTPUT SYSTEM Kubalčík, Marek
2007
40 20 p. 46-51
6 p.
artikel
96 SENSOR CLASSIFICATION FOR THE FAULT DETECTION AND ISOLATION PROBLEM Commault, Christian
2007
40 20 p. 661-666
6 p.
artikel
97 SINGLE INTERCONNECTION OF KURAMOTO COUPLED OSCILLATORS Monzón, Pablo
2007
40 20 p. 76-81
6 p.
artikel
98 SINGULARLY PERTURBED DERIVATIVE COUPLING-FILTER: THE SISO CASE Hugo, Méndez D.
2007
40 20 p. 34-39
6 p.
artikel
99 SOME APPLICATIONS OF DIFFERENTIAL ALGEBRA IN SYSTEMS IDENTIFICATION Ramírez, Hebertt Sira
2007
40 20 p. 1-21
21 p.
artikel
100 SOME REMARKS ON THE STABILITY OF CELL-TO-CELL SPREAD MODELS WITH DISTRIBUTED DELAYS Morarescu, Constantin-Irinel
2007
40 20 p. 691-696
6 p.
artikel
101 STABILITY ANALYSIS OF UNCERTAIN POLYNOMIALS WITH POLYNOMIC PARAMETER DEPENDENCY Husek, Petr
2007
40 20 p. 208-213
6 p.
artikel
102 STABILITY AND STABILIZATION OF A CLASS OF UNCERTAIN NONLINEAR DISCRETE-TIME SYSTEMS WITH SATURATING ACTUATORS Castelan, Eugênio B.
2007
40 20 p. 518-523
6 p.
artikel
103 STATE ESTIMATION FOR A CLASS OF TIME-VARYING LINEAR SYSTEMS: APPLICATION TO FUEL CELL SYSTEMS Benallouch, Mohamed
2007
40 20 p. 500-505
6 p.
artikel
104 STATE-SPACE REALIZATION OF NONLINEAR INPUT-OUTPUT DELTA DIFFERENTIAL EQUATIONS ON HOMOGENEOUS TIME SCALES Casagrande, Daniele
2007
40 20 p. 356-361
6 p.
artikel
105 STRUCTURE EVOLVING SYSTEMS IN INTEGRATED SYSTEM DESIGN Karcanias, Nicos
2007
40 20 p. 392-417
26 p.
artikel
106 STUDIES OF SYNCHRONIZATION IN NONLINEAR SYSTEMS USING THE GRONWALL INEQUALITY Mijolaro, A.P.
2007
40 20 p. 268-273
6 p.
artikel
107 SWITCHED STATE JUMP OBSERVERS FOR A CLASS OF NONLINEAR SWITCHED SYSTEMS Hua, Yunjie
2007
40 20 p. 256-261
6 p.
artikel
108 Technical Program 2007
40 20 p. iv-x
nvt p.
artikel
109 TENSORED POLYNOMIAL MODELS, THE SYLVESTER EQUATION AND MODEL REDUCTION Fuhrmann, P.A.
2007
40 20 p. 202-207
6 p.
artikel
110 TRACKING METHODOLOGY WITH ZEROS VARIATION AND DISTURBANCE REJECTION APPLIED TO UNCERTAIN SYSTEMS AssunçÃo, Edvaldo
2007
40 20 p. 626-631
6 p.
artikel
111 TWO-DEGREES-OF-FREEDOM COMPENSATORS FOR SYSTEMS WITH COMMANDS BOUNDED IN SLOPE Tadeo, Fernando
2007
40 20 p. 530-535
6 p.
artikel
112 USING THE POLE PLACEMENT APPROACH IN A CO-DESIGN PROCEDURE FOR A NETWORKED CONTROL SYSTEM Santos, Tito L.M.
2007
40 20 p. 154-159
6 p.
artikel
                             112 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland