Results 21 to 30 of about 1,979,033 (284)
Modelling and controlling traffic behaviour with continuous Petri nets [PDF]
, 2005 Traffic systems are discrete systems that can be heavily populated. One way of overcoming the state explosion problem inherent to heavily populated discrete systems is to relax the discrete model.
Boel, René, JULVEZ, J
core +2 more sources
Constructions of Strict Lyapunov Functions for Discrete Time and Hybrid Time-Varying Systems [PDF]
, 2006 We provide explicit closed form expressions for strict Lyapunov functions for time-varying discrete time systems. Our Lyapunov functions are expressed in terms of known nonstrict Lyapunov functions for the dynamics and finite sums of persistency of ...
Albertini +24 more
core +6 more sources
Nonsmooth stabilizability and feedback linearization of discrete-time nonlinear systems [PDF]
, 1996 We consider the problem of stabilizing a discrete-time nonlinear system using a feedback which is not necessarily smooth. A sufficient condition for global dynamical stabilizability of single-input triangular systems is given.
Nijmeijer, H., Simoes, C., Tsinias, J.
core +2 more sources
Internetwork Time Synchronization of Mobile Ad Hoc Networks
IEEE Access, 2021 Several time synchronous ad hoc networks may operate in the same geographical area. Although network time synchronization within an individual network has been widely discussed, internetwork time synchronization relying on time sources the networks carry
Harri Saarnisaari +3 more
doaj +1 more source
Lagrangian reduction of discrete mechanical systems by stages [PDF]
, 2015 In this work we introduce a category of discrete Lagrange--Poincare systems LP_d and study some of its properties. In particular, we show that the discrete mechanical systems and the discrete mechanical systems obtained by the Lagrangian reduction of ...
Fernandez, Javier +2 more
core +2 more sources
IET Cyber-Physical Systems, 2017 Simulink/Stateflow is a popular commercial model-based development tool for many industrial domains. For safety and security concerns, verification and testing must be performed on the Simulink/Stateflow designs and the generated code.
Meng Li, Ratnesh Kumar
doaj +1 more source
Asynchronous broadcast‐based event‐triggered control for discrete‐time clock synchronization
IET Control Theory & Applications, 2023 Precise timing plays a key role in the time‐sensitive industrial Internet of Things (IIoT). However, precise time synchronization requires more frequent packet exchange, which consumes more communication bandwidth and energy.
Zhian Jia +3 more
doaj +1 more source
Canonical quantization of constrained theories on discrete space-time lattices [PDF]
, 2002 We discuss the canonical quantization of systems formulated on discrete space-times. We start by analyzing the quantization of simple mechanical systems with discrete time.
Di Bartolo, Cayetano +2 more
core +3 more sources
Discrete-time port-Hamiltonian systems: A definition based on symplectic integration [PDF]
, 2018 We introduce a new definition of discrete-time port-Hamiltonian systems (PHS), which results from structure-preserving discretization of explicit PHS in time.
Kotyczka, Paul, Lefèvre, Laurent
core +4 more sources
Combinatorial Generation Algorithms for Directed Lattice Paths
MathematicsGraphs are a powerful tool for solving various mathematical problems. One such task is the representation of discrete structures. Combinatorial generation methods make it possible to obtain algorithms that can create discrete structures with specified ...
Yuriy Shablya +2 more
doaj +1 more source