Search results for "discrete-state"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Reg G. Willson, Bruce H. Krogh	Petri Net Tools for the Specification and Analysis of Discrete Controllers.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Petri net tools, discrete controllers, discrete-state systems, rule-based state-variable-specification formalism, interconnected state machines, reduced reachability graphs, discrete manufacturing systems, modeling, formal specification, Petri nets, specification, controllers, computerised control, discrete systems
27	Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang 0001, Florian Pigorsch, Christoph Scholl 0001, Uwe Waldmann, Boris Wirtz	Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space.	ATVA	2007	DBLP DOI BibTeX RDF
27	Jacques M. Bahi, Sylvain Contassot-Vivier	Basins of attraction in fully asynchronous discrete-time discrete-state dynamic networks.	IEEE Trans. Neural Networks	2006	DBLP DOI BibTeX RDF
26	Yuichi Tazaki, Jun-ichi Imura	Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer.	HSCC	2009	DBLP DOI BibTeX RDF
24	Maria Fox 0001	Planning for Mixed Discrete Continuous Domains.	CPAIOR	2006	DBLP DOI BibTeX RDF
24	Bruce H. Krogh	Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract).	ICATPN	1999	DBLP DOI BibTeX RDF
23	Jun-ichi Imura, Hiromichi Matsushima	Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints.	HSCC	2006	DBLP DOI BibTeX RDF
22	Masami Hagiya	Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing.	UC	2005	DBLP DOI BibTeX RDF
22	Prashant Doshi	Approximate state estimation in multiagent settings with continuous or large discrete state spaces.	AAMAS	2007	DBLP DOI BibTeX RDF	continuous state spaces, multiagent state estimation, particle filters
21	Anurag Gupta, Ian F. Akyildiz, Richard Fujimoto	Performance Analysis of Time Warp With Multiple Homogeneous Processors.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	interacting processors, Time Warp protocol, discrete-state, continuous-time Markov chain model, exponential task times, timestamp increments, event message, negligible rollback, unbounded message buffers, homogeneous processors, processed events, rollback probability, uncommitted processed events, Time Warp testbed, performance evaluation, protocols, discrete event simulation, Markov processes, performance measures, multiprocessing systems, shared-memory multiprocessor, parallel simulation, speedup, communication delay, virtual time, state saving, probability mass function, probability distribution function
21	Richard A. DeMillo, Richard J. Lipton	Defining Software by Continuous, Smooth Functions.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	discrete state transition function, continuous smooth function, legal states, classical analysis, software engineering, software engineering, computational complexity, complexity, virtual machine, software system
20	José M. E. González, Antonio Eduardo Carrilho da Cunha, José E. R. Cury, Bruce H. Krogh	Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis.	HSCC	2001	DBLP DOI BibTeX RDF
19	Felice Balarin	Approximate reachability analysis of timed automata.	RTSS	1996	DBLP DOI BibTeX RDF	approximate reachability analysis, unsafe states, incorrect system, discrete state components, real-time systems, formal verification, Boolean functions, computation, timed automata, finite automata, finite state automata, timing information
18	Bernhard K. Aichernig, Harald Brandl, Willibald Krenn	Qualitative Action Systems.	ICFEM	2009	DBLP DOI BibTeX RDF
16	Clemens Pötter	Information-Theoretic Analysis of a Mobile Agent's Learning in a Discrete State Space.	PPSN	1998	DBLP DOI BibTeX RDF
16	Domitilla Del Vecchio, Richard M. Murray	Discrete State Estimators for a Class of Hybrid Systems on a Lattice.	HSCC	2004	DBLP DOI BibTeX RDF
16	Marc Segelken	Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models.	CAV	2007	DBLP DOI BibTeX RDF	automata construction, counterexample guidance, iterative abstraction refinement, step-discrete hybrid systems, model-checking
15	Miguel M. F. Bugalho, Arlindo L. Oliveira	An Evaluation of the Impact of Side Chain Positioning on the Accuracy of Discrete Models of Protein Structures.	BSB	2008	DBLP DOI BibTeX RDF	Protein models, discrete state models, side chain positioning, protein folding
15	Richard Bednar, Roy E. Crosbie	Stability of multi-rate simulation algorithms.	SCSC	2007	DBLP BibTeX RDF	discrete state equations, stability, numerical integration, multi-rate
15	Gianfranco Ciardo	Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
15	Lukás Sekanina, Ricardo Salem Zebulum	Evolutionary Discovering of the Concept of the Discrete State at the Transistor Level.	Evolvable Hardware	2005	DBLP DOI BibTeX RDF
14	Maryam Shokri, Hamid R. Tizhoosh, Mohamed S. Kamel	The Concept of Opposition and Its Use in Q-Learning and Q(lambda) Techniques.	Oppositional Concepts in Computational Intelligence	2008	DBLP DOI BibTeX RDF
14	Fabien Lauer, Gérard Bloch	Switched and PieceWise Nonlinear Hybrid System Identification.	HSCC	2008	DBLP DOI BibTeX RDF
14	Martin Fränzle	Verification of Hybrid Systems.	CAV	2007	DBLP DOI BibTeX RDF
14	Domitilla Del Vecchio, Richard M. Murray	Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order.	HSCC	2005	DBLP DOI BibTeX RDF
14	Paul I. Barton, Cha Kun Lee	Modeling, simulation, sensitivity analysis, and optimization of hybrid systems.	ACM Trans. Model. Comput. Simul.	2002	DBLP DOI BibTeX RDF	combined discrete/continuous simulation, consistent reinitialization, state events, sensitivity analysis, transitions, discontinuities, Hybrid automata
14	Ralph-Johan Back, Luigia Petre, Ivan Porres	Generalizing Action Systems to Hybrid Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
14	Zhao-Hong Wang, Yao-Lin Jiang, Kang-Li Xu	Reduced-order modeling methods via bivariate discrete orthogonal polynomials for two-dimensional discrete state-delayed systems.	Multidimens. Syst. Signal Process.	2023	DBLP DOI BibTeX RDF
14	Yang Li 0177, Yong He 0003, Chuan-Ke Zhang, Min Wu 0002	Discrete-State Decomposition Technique of Dissipativity Analysis for Discrete-Time Singular Systems With Time-Varying Delays.	IEEE Trans. Cybern.	2023	DBLP DOI BibTeX RDF
14	Wen Huang, Hong Qian, Shirou Wang, Felix X.-F. Ye, Yingfei Yi	Synchronization in Discrete-Time, Discrete-State Random Dynamical Systems.	SIAM J. Appl. Dyn. Syst.	2020	DBLP DOI BibTeX RDF
14	Bruce J. Swihart, Naresh M. Punjabi, Ciprian M. Crainiceanu	Modeling sleep fragmentation in sleep hypnograms: An instance of fast, scalable discrete-state, discrete-time analyses.	Comput. Stat. Data Anal.	2015	DBLP DOI BibTeX RDF
14	Jacques M. Bahi, Sylvain Contassot-Vivier	Corrections to "Basins of Attraction in Fully Asynchronous Discrete-Time Discrete-State Dynamic Networks" [Mar 06 397-408].	IEEE Trans. Neural Networks	2009	DBLP DOI BibTeX RDF
14	Jacques M. Bahi, Sylvain Contassot-Vivier	Stability of fully asynchronous discrete-time discrete-state dynamic networks.	IEEE Trans. Neural Networks	2002	DBLP DOI BibTeX RDF
13	Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston	Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods.	CMSB	2006	DBLP DOI BibTeX RDF
13	Bochen Shi, Zhengming Zhao, Yicheng Zhu, Zhujun Yu, Jiahe Ju	Discrete State Event-Driven Simulation Approach With a State-Variable-Interfaced Decoupling Strategy for Large-Scale Power Electronics Systems.	IEEE Trans. Ind. Electron.	2021	DBLP DOI BibTeX RDF
13	Bochen Shi, Shiqi Ji, Zhengming Zhao, Zhujun Yu	Discrete-State Event-Driven Numerical Prototyping of Megawatt Solid-State Transformers and AC/DC Hybrid Microgrids.	IEEE Access	2021	DBLP DOI BibTeX RDF
13	Akshata Tandon, Amit Dhawan, Manish Tiwari	Optimal guaranteed cost control of uncertain 2-D discrete state-delayed systems described by the Roesser model via memory state feedback.	Trans. Inst. Meas. Control	2019	DBLP DOI BibTeX RDF
13	Dawei Shi, Robert J. Elliott, Tongwen Chen	Event-based state estimation of discrete-state hidden Markov models.	Autom.	2016	DBLP DOI BibTeX RDF
13	Victor Yodaiken	State equations for discrete state systems.	CoRR	2016	DBLP BibTeX RDF
13	Arda Kurt	Discrete-State Encoding in Hybrid-State Systems for Intelligent Vehicle Control and Estimation.	IEEE Trans. Intell. Transp. Syst.	2015	DBLP DOI BibTeX RDF
13	Benjamin Passenberg, Peter E. Caines, Marion Sobotka, Olaf Stursberg, Martin Buss	The minimum principle for hybrid systems with partitioned state space and unspecified discrete state sequence.	CDC	2010	DBLP DOI BibTeX RDF
13	Benjamin Passenberg, Marion Sobotka, Olaf Stursberg, Martin Buss, Peter E. Caines	An algorithm for discrete state sequence and trajectory optimization for hybrid systems with partitioned state space.	CDC	2010	DBLP DOI BibTeX RDF
13	Prashant Doshi	Improved State Estimation in Multiagent Settings with Continuous or Large Discrete State Spaces.	AAAI	2007	DBLP BibTeX RDF
13	Gianfranco Ciardo, Joshua Gluckman, David M. Nicol	Distributed State Space Generation of Discrete-State Stochastic Models.	INFORMS J. Comput.	1998	DBLP DOI BibTeX RDF
13	Bruce H. Krogh	Approximating Hybrid System Dynamics for Analysis and Control (Abstract).	HSCC	1999	DBLP DOI BibTeX RDF
13	Mark Temte	A Framework for Accessing Data in Models with Many Discrete States (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
13	Trong Wu	Simulation of an Automatic Banking System with the Ada Programming Language (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	Ada
13	Haoxun Chen, Hans-Michael Hanisch	Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	condition /event systems, state reachability analysis, Petri nets, hybrid systems, modular modeling
11	Peter H. Feiler	Modeling the Implementation of State-Based System Architectures.	ICECCS	2009	DBLP DOI BibTeX RDF
11	Yann-Michaël De Hauwere, Peter Vrancx, Ann Nowé	Using Generalized Learning Automata for State Space Aggregation in MAS.	KES (1)	2008	DBLP DOI BibTeX RDF
11	Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald	Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.	TACAS	2003	DBLP DOI BibTeX RDF
11	Gianfranco Ciardo	Distributed and Structured Analysis Approaches to Study Large and Complex Systems.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
11	Stefano Di Cairano, Mircea Lazar, Alberto Bemporad, W. P. M. H. Heemels	A Control Lyapunov Approach to Predictive Control of Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
11	Inseok Hwang 0002, Hamsa Balakrishnan, Ronojoy Ghosh, Claire J. Tomlin	Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction.	HiPC	2002	DBLP DOI BibTeX RDF
10	George E. Antoniou	2-D Tridiagonal IIR Filters/Systems: State Space and Circuit Realizations.	ISCAS	2007	DBLP DOI BibTeX RDF
10	Peter E. Caines, M. Shahid Shaikh	Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation.	HSCC	2006	DBLP DOI BibTeX RDF
10	Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann	Verification of Hybrid Systems: Formalization and Proof Rules in PVS.	ICECCS	2001	DBLP DOI BibTeX RDF	deductive methods, machine-assisted verification, hybrid systems
10	Nikos Komodakis, Georgios Tziritas	Image Completion Using Efficient Belief Propagation Via Priority Scheduling and Dynamic Pruning.	IEEE Trans. Image Process.	2007	DBLP DOI BibTeX RDF
10	Luciano Lenzini, Beatrice Meini, Enzo Mingozzi, Giovanni Stea	An M/G/1 Queuing System with Multiple Vacations to Assess the Performance of a Simplified Deficit Round Robin Model.	Computer Performance Evaluation / TOOLS	2003	DBLP DOI BibTeX RDF
10	Jianghai Hu, Maria Prandini, Karl Henrik Johansson, Shankar Sastry 0001	Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem.	HSCC	2001	DBLP DOI BibTeX RDF
10	Joseph Sifakis	On the Composition of Timed Systems.	ICATPN	1997	DBLP DOI BibTeX RDF
9	Aditi Srivastava, Richa Negi, Haranath Kar	Guaranteed Cost Control for 2-D Uncertain Discrete State-Delayed Systems in Roesser Model Employing Actuator Saturation.	Circuits Syst. Signal Process.	2024	DBLP DOI BibTeX RDF
9	Andrew Campbell, Jason Yim, Regina Barzilay, Tom Rainforth, Tommi S. Jaakkola	Generative Flows on Discrete State-Spaces: Enabling Multimodal Flows with Applications to Protein Co-Design.	CoRR	2024	DBLP DOI BibTeX RDF
9	Dongwei Xu, Chengbin Li, Da Wang, Guangyan Gao	Robustness Analysis of Discrete State-Based Reinforcement Learning Models in Traffic Signal Control.	IEEE Trans. Intell. Transp. Syst.	2023	DBLP DOI BibTeX RDF
9	Henglei Xu, Xuerong Mao	Advances in Discrete-State-Feedback Stabilization of Highly Nonlinear Hybrid Systems by Razumikhin Technique.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
9	Yi Cheng, Can Li, Cheng Song, Shengyuan Xu	Output synchronization of heterogeneous multi-agent systems based on the distributed continuous-discrete state observer.	Autom.	2023	DBLP DOI BibTeX RDF
9	Michael Zhang, Khaled Kamal Saab, Michael Poli, Tri Dao, Karan Goel, Christopher Ré	Effectively Modeling Time Series with Simple Discrete State Spaces.	CoRR	2023	DBLP DOI BibTeX RDF
9	Javier E. Santos, Zachary R. Fox, Nicholas Lubbers, Yen Ting Lin	Blackout Diffusion: Generative Diffusion Models in Discrete-State Spaces.	CoRR	2023	DBLP DOI BibTeX RDF
9	Zhenyu Charlus Zhang, Anas Chaaban	Precoding for a Class of Peak-Constrained Dirty Paper Channels with a Discrete State.	CoRR	2023	DBLP DOI BibTeX RDF
9	Abdul Fatir Ansari, Alvin Heng, Andre Lim, Harold Soh	Neural Continuous-Discrete State Space Models for Irregularly-Sampled Time Series.	CoRR	2023	DBLP DOI BibTeX RDF
9	Jue Shi, Xiaofang Chen, Yongfang Xie, Hongliang Zhang, Yubo Sun	Population-based discrete state transition algorithm with decomposition and knowledge guidance applied to electrolytic cell maintenance decision.	Appl. Soft Comput.	2023	DBLP DOI BibTeX RDF
9	Zhenyu Charlus Zhang, Anas Chaaban	Precoding for a Class of Peak-Constrained Dirty Paper Channels with a Discrete State.	WCNC	2023	DBLP DOI BibTeX RDF
9	Michael Zhang, Khaled Kamal Saab, Michael Poli, Tri Dao, Karan Goel, Christopher Ré	Effectively Modeling Time Series with Simple Discrete State Spaces.	ICLR	2023	DBLP BibTeX RDF
9	Abdul Fatir Ansari, Alvin Heng, Andre Lim, Harold Soh	Neural Continuous-Discrete State Space Models for Irregularly-Sampled Time Series.	ICML	2023	DBLP BibTeX RDF
9	Javier E. Santos, Zachary R. Fox, Nicholas Lubbers, Yen Ting Lin	Blackout Diffusion: Generative Diffusion Models in Discrete-State Spaces.	ICML	2023	DBLP BibTeX RDF
9	Bochen Shi, Zhengming Zhao, Jiahe Ju, Zhujun Yu, Yicheng Zhu	Switching Transient Simulation and System Efficiency Evaluation of Megawatt Power Electronics Converter With Discrete State Event-Driven Approach.	IEEE Trans. Ind. Electron.	2022	DBLP DOI BibTeX RDF
9	Conor Heins, Beren Millidge, Daphne Demekas, Brennan Klein, Karl J. Friston, Iain D. Couzin, Alexander Tschantz	pymdp: A Python library for active inference in discrete state spaces.	J. Open Source Softw.	2022	DBLP DOI BibTeX RDF
9	Conor Heins, Beren Millidge, Daphne Demekas, Brennan Klein, Karl J. Friston, Iain D. Couzin, Alexander Tschantz	pymdp: A Python library for active inference in discrete state spaces.	CoRR	2022	DBLP BibTeX RDF
9	Amnon Attali, Pedro Cisneros-Velarde, Marco Morales 0001, Nancy M. Amato	Discrete State-Action Abstraction via the Successor Representation.	CoRR	2022	DBLP DOI BibTeX RDF
9	Miroslav Vorechovský	Reliability analysis of discrete-state performance functions via adaptive sequential sampling with detection of failure surfaces.	CoRR	2022	DBLP DOI BibTeX RDF
9	Kilian Konstantin Haefeli, Karolis Martinkus, Nathanaël Perraudin, Roger Wattenhofer	Diffusion Models for Graphs Benefit From Discrete State Spaces.	CoRR	2022	DBLP DOI BibTeX RDF
9	Jiahe Ju, Bochen Shi, Zhujun Yu, Yicheng Zhu, Zhengming Zhao	Backward Discrete State Event-Driven Approach for Simulation of Stiff Power Electronic Systems.	IEEE Access	2021	DBLP DOI BibTeX RDF
9	Renny Arismendi, Anne Barros, Antoine Grall	Piecewise deterministic Markov process for condition-based maintenance models - Application to critical infrastructures with discrete-state deterioration.	Reliab. Eng. Syst. Saf.	2021	DBLP DOI BibTeX RDF
9	Jacob Austin, Daniel D. Johnson 0001, Jonathan Ho, Daniel Tarlow, Rianne van den Berg	Structured Denoising Diffusion Models in Discrete State-Spaces.	CoRR	2021	DBLP BibTeX RDF
9	Casey A. Cole, Rishi Mukhopadhyay, Hanin Omar, Mirko Hennig, Homayoun Valafar	Structure Calculation and Reconstruction of Discrete State Dynamics from Residual Dipolar Couplings using REDCRAFT.	CoRR	2021	DBLP BibTeX RDF
9	Davin Lunz	On Continuum Approximations of Discrete-State Markov Processes of Large System Size.	Multiscale Model. Simul.	2021	DBLP DOI BibTeX RDF
9	Masaya Murata, Isao Kawano, Koichi Inoue	Ensemble Kalman Filter for Continuous-Discrete State-Space Models.	CDC	2021	DBLP DOI BibTeX RDF
9	Jacob Austin, Daniel D. Johnson 0001, Jonathan Ho, Daniel Tarlow, Rianne van den Berg	Structured Denoising Diffusion Models in Discrete State-Spaces.	NeurIPS	2021	DBLP BibTeX RDF
9	Masaya Murata, Isao Kawano, Koichi Inoue	Extended, Unscented Kalman, and Sigma Point Multiple Distribution Estimation Filters for Nonlinear Discrete State-Space Models.	IEEE Control. Syst. Lett.	2020	DBLP DOI BibTeX RDF
9	Sylwia Henselmeyer, Marcin Grzegorzek	Short-term load forecasting with discrete state Hidden Markov Models.	J. Intell. Fuzzy Syst.	2020	DBLP DOI BibTeX RDF
9	Yue Zhou, Guoqi Li, Huiqi Li	Automatic Cataract Classification Using Deep Neural Network With Discrete State Transition.	IEEE Trans. Medical Imaging	2020	DBLP DOI BibTeX RDF
9	Younes Solgi, Alireza Fatehi, Ala Shariati	Novel Non-monotonic Lyapunov-Krasovskii Based Stability Analysis and Stabilization of Discrete State-delay System.	Int. J. Autom. Comput.	2020	DBLP DOI BibTeX RDF
9	Wen Qin, Guopeng Wang, Liwei Li 0003, Mouquan Shen	Fault Detection for 2-D Continuous-Discrete State-Delayed Systems in Finite Frequency Domains.	IEEE Access	2020	DBLP DOI BibTeX RDF
9	Bingjie Hao, Kok-Meng Lee, Kun Bai	Distributed current source modeling method for 3D eddy current problem in magnetic conductor with discrete state-space J-φ formulation.	J. Comput. Phys.	2020	DBLP DOI BibTeX RDF
9	Ondrej Biza, Robert Platt Jr. 0001, Jan-Willem van de Meent, Lawson L. S. Wong	Learning discrete state abstractions with deep variational inference.	CoRR	2020	DBLP BibTeX RDF
9	Hassan Jaleel, Jeff S. Shamma	Distributed Submodular Minimization and Motion Planning Over Discrete State Space.	IEEE Trans. Control. Netw. Syst.	2020	DBLP DOI BibTeX RDF
9	Guowei Zhao, Kun Ma, Guangming Zhuang, Wei Sun 0020, Yuqian Lin, Jie Wang	Admissibilization for DJSs with distributed delay and discrete state delay.	ICSSE	2020	DBLP DOI BibTeX RDF
9	Seiya Yamazaki, Hiroyuki Iizuka, Masahito Yamamoto	Analysis of Time Series Trained by Adversarial Imitation Learning in Discrete State Neural Network Model.	SII	2020	DBLP DOI BibTeX RDF
9	Juan Carlos Jimenez 0001	Approximate linear minimum variance filters for continuous-discrete state space models: convergence and practical adaptive algorithms.	IMA J. Math. Control. Inf.	2019	DBLP DOI BibTeX RDF
9	Khalid Badie, Mohammed Alfidi, Zakaria Chalh	Robust \(H_{\infty }\) control for 2-D discrete state delayed systems with polytopic uncertainties.	Multidimens. Syst. Signal Process.	2019	DBLP DOI BibTeX RDF