01380nam2 2200301 450 00003286420221222140031.02017091411961----km-y0itay50------baitaITy-------001yyMagnetogrammi e valori orari per la stazione geomagnetica di Capri dell'I.U.N. (1 febbraio - 31 agosto 1959)G. Simeon ed A. SpositoNapoli1961Stabilimento tipografico Guglielmo GenoveseP. 1-59ill.24 cmEstratto dagli "Annali dell'Istituto Universitario Navale di Napoli", vol. 30Misure di variazioni Geomagnetiche a Capri (1957-1965) - v. I -001000034991Magnetogrammi e valori orari per la stazione geomagnetica di Capri dell'I.U.N. (1 febbraio - 31 agosto 1959)1737577Magnetismo terrestreMisurazioneStazione geomagneticaCapri538.721Geomagnetismo e fenomeni connessiSimeon,Giuseppe426004Sposito,Antonino630092ITUNIPARTHENOPE20200414RICAUNIMARC000032864Coll. SIM. 2-1/4s.i.DSA2022Coll. SIM. 2-1 bis/4 biss.i.DSA2022Magnetogrammi e valori orari per la stazione geomagnetica di Capri dell'I.U.N. (1 febbraio - 31 agosto 1959)1737577UNIPARTHENOPE05681nam 22007575 450 991048375030332120251226203840.010.1007/b106766(CKB)1000000000212868(SSID)ssj0000318181(PQKBManifestationID)11266622(PQKBTitleCode)TC0000318181(PQKBWorkID)10308457(PQKB)11589717(DE-He213)978-3-540-31954-2(MiAaPQ)EBC3067994(PPN)123092728(EXLCZ)99100000000021286820110116d2005 u| 0engurnn|008mamaatxtccrHybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /edited by Manfred Morari, Lothar Thiele, Francesca Rossi1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XII, 684 p.) Theoretical Computer Science and General Issues,2512-2029 ;3414Bibliographic Level Mode of Issuance: Monograph3-540-31954-9 3-540-25108-1 Includes bibliographical references and index.Invited Papers -- Coordinated Control for Highly Reconfigurable Systems -- Operational Semantics of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete Time Behavior of Lazy Linear Hybrid Automata -- Perturbed Timed Automata -- A Homology Theory for Hybrid Systems: Hybrid Homology -- Observability of Switched Linear Systems in Continuous Time -- Controller Synthesis on Non-uniform and Uncertain Discrete–Time Domains -- Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli -- Optimal Control of Discrete Hybrid Stochastic Automata -- Hybrid Decentralized Control of Large Scale Systems -- On the Stabilisation of Switching Electrical Power Converters -- Bisimulation for General Stochastic Hybrid Systems -- Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction -- Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order -- Refining Abstractions of Hybrid Systems Using Counterexample Fragments -- PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech -- Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility -- Reachability of Uncertain Linear Systems Using Zonotopes -- Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates -- Polynomial Stochastic Hybrid Systems -- Non-uniqueness in Reverse Time of Hybrid System Trajectories -- Comparison of Four Procedures for the Identification of Hybrid Systems -- An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems -- Mode-Automata Based Methodology for Scade -- Taylor Approximation for Hybrid Systems -- Infinity Norms as Lyapunov Functions forModel Predictive Control of Constrained PWA Systems -- Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation -- Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties -- Learning Multi-modal Control Programs -- A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems -- On Transfinite Hybrid Automata -- Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration -- Interchange Formats for Hybrid Systems: Review and Proposal -- Primal–Dual Tests for Safety and Reachability -- Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems -- Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement -- Generating Polynomial Invariants for Hybrid Systems -- Modeling, Optimization and Computation for Software Verification -- Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs) -- Sensor/Actuator Abstractions for Symbolic Embedded Control Design -- Modeling and Control of Networked Control Systems with Random Delays -- Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems.Theoretical Computer Science and General Issues,2512-2029 ;3414Computer scienceComputers, Special purposeMicroprocessorsComputer architectureSoftware engineeringTheory of ComputationSpecial Purpose and Application-Based SystemsProcessor ArchitecturesSoftware EngineeringComputer Science Logic and Foundations of ProgrammingComputer science.Computers, Special purpose.Microprocessors.Computer architecture.Software engineering.Theory of Computation.Special Purpose and Application-Based Systems.Processor Architectures.Software Engineering.Computer Science Logic and Foundations of Programming.004.0151Morari Manfred21359Thiele Lothar1762693HSCC (Conference)MiAaPQMiAaPQMiAaPQBOOK9910483750303321Hybrid Systems: Computation and Control4521659UNINA