|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 137 occurrences of 124 keywords
|
|
|
Results
Found 264 publication records. Showing 264 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(1), pp. 39-50, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings, pp. 425-440, 2007, Springer, 978-3-540-75595-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Jacques M. Bahi, Sylvain Contassot-Vivier |
Basins of attraction in fully asynchronous discrete-time discrete-state dynamic networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 17(2), pp. 397-408, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Yuichi Tazaki, Jun-ichi Imura |
Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings, pp. 351-365, 2009, Springer, 978-3-642-00601-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Maria Fox 0001 |
Planning for Mixed Discrete Continuous Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings, pp. 2, 2006, Springer, 3-540-34306-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Bruce H. Krogh |
Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings, pp. 106, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Jun-ichi Imura, Hiromichi Matsushima |
Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings, pp. 302-317, 2006, Springer, 3-540-33170-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Masami Hagiya |
Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation, 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, 2005, Proceedings, pp. 117-129, 2005, Springer, 3-540-29100-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Prashant Doshi |
Approximate state estimation in multiagent settings with continuous or large discrete state spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 13, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(10), pp. 1013-1027, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(4), pp. 383-384, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings, pp. 247-260, 2001, Springer, 3-540-41866-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Felice Balarin |
Approximate reachability analysis of timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), December 4-6, 1996, Washington, DC, USA, pp. 52-61, 1996, IEEE Computer Society, 0-8186-7689-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 206-225, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Clemens Pötter |
Information-Theoretic Analysis of a Mobile Agent's Learning in a Discrete State Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN V, 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998, Proceedings, pp. 521-529, 1998, Springer, 3-540-65078-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Domitilla Del Vecchio, Richard M. Murray |
Discrete State Estimators for a Class of Hybrid Systems on a Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings, pp. 311-325, 2004, Springer, 3-540-21259-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 433-448, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BSB ![In: Advances in Bioinformatics and Computational Biology, Third Brazilian Symposium on Bioinformatics, BSB 2008, Santo André, Brazil, August 28-30, 2008. Proceedings, pp. 23-34, 2008, Springer, 978-3-540-85556-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 189-194, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW/WS-FM ![In: Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings, pp. 15-17, 2005, Springer, 3-540-28701-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evolvable Hardware ![In: 2005 NASA / DoD Conference on Evolvable Hardware (EH 2005), 29 June - 1 July 2005, Washington, DC, USA, pp. 73-78, 2005, IEEE Computer Society, 0-7695-2399-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oppositional Concepts in Computational Intelligence ![In: Oppositional Concepts in Computational Intelligence, pp. 233-253, 2008, Springer, 978-3-540-70826-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Fabien Lauer, Gérard Bloch |
Switched and PieceWise Nonlinear Hybrid System Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings, pp. 330-343, 2008, Springer, 978-3-540-78928-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Martin Fränzle |
Verification of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 38, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings, pp. 226-241, 2005, Springer, 3-540-25108-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Paul I. Barton, Cha Kun Lee |
Modeling, simulation, sensitivity analysis, and optimization of hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 12(4), pp. 256-289, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings, pp. 202-213, 2000, Springer, 3-540-41055-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multidimens. Syst. Signal Process. ![In: Multidimens. Syst. Signal Process. 34(1), pp. 227-248, March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Cybern. ![In: IEEE Trans. Cybern. 53(9), pp. 5459-5468, September 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Dyn. Syst. ![In: SIAM J. Appl. Dyn. Syst. 19(1), pp. 233-251, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. Data Anal. ![In: Comput. Stat. Data Anal. 89, pp. 1-11, 2015. The full citation details ...](Pics/full.jpeg) |
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]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 20(8), pp. 1372-1374, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Jacques M. Bahi, Sylvain Contassot-Vivier |
Stability of fully asynchronous discrete-time discrete-state dynamic networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 13(6), pp. 1353-1363, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings, pp. 63-77, 2006, Springer, 3-540-46166-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 68(12), pp. 11673-11683, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 108329-108339, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Inst. Meas. Control ![In: Trans. Inst. Meas. Control 41(1), pp. 285-294, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Dawei Shi, Robert J. Elliott, Tongwen Chen |
Event-based state estimation of discrete-state hidden Markov models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 65, pp. 12-26, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Victor Yodaiken |
State equations for discrete state systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.01712, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
13 | Arda Kurt |
Discrete-State Encoding in Hybrid-State Systems for Intelligent Vehicle Control and Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Transp. Syst. ![In: IEEE Trans. Intell. Transp. Syst. 16(3), pp. 1595-1600, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, December 15-17, 2010, Atlanta, Georgia, USA, pp. 6666-6673, 2010, IEEE, 978-1-4244-7745-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, December 15-17, 2010, Atlanta, Georgia, USA, pp. 4223-4229, 2010, IEEE, 978-1-4244-7745-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
13 | Prashant Doshi |
Improved State Estimation in Multiagent Settings with Continuous or Large Discrete State Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada, pp. 712-717, 2007, AAAI Press, 978-1-57735-323-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
13 | Gianfranco Ciardo, Joshua Gluckman, David M. Nicol |
Distributed State Space Generation of Discrete-State Stochastic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORMS J. Comput. ![In: INFORMS J. Comput. 10(1), pp. 82-93, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Bruce H. Krogh |
Approximating Hybrid System Dynamics for Analysis and Control (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings, pp. 2, 1999, Springer, 3-540-65734-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Mark Temte |
A Framework for Accessing Data in Models with Many Discrete States (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990, pp. 416, 1990, ACM, 0-89791-348-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Trong Wu |
Simulation of an Automatic Banking System with the Ada Programming Language (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990, pp. 416, 1990, ACM, 0-89791-348-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Ada |
13 | Haoxun Chen, Hans-Michael Hanisch |
Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 11(1-2), pp. 163-185, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 377-382, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part I, pp. 182-193, 2008, Springer, 978-3-540-85562-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 192-207, 2003, Springer, 3-540-00898-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Gianfranco Ciardo |
Distributed and Structured Analysis Approaches to Study Large and Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Educational Forum: School on Formal Methods and Performance Analysis ![In: Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures, pp. 344-374, 2000, Springer, 3-540-42479-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings, pp. 130-143, 2008, Springer, 978-3-540-78928-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2002, 9th International Conference, Bangalore, India, December 18-21, 2002, Proceedings, pp. 715-724, 2002, Springer, 3-540-00303-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | George E. Antoniou |
2-D Tridiagonal IIR Filters/Systems: State Space and Circuit Realizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA, pp. 3992-3995, 2007, IEEE, 1-4244-0920-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings, pp. 123-137, 2006, Springer, 3-540-33170-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann |
Verification of Hybrid Systems: Formalization and Proof Rules in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden, pp. 48-57, 2001, IEEE Computer Society, 0-7695-1159-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 16(11), pp. 2649-2661, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation / TOOLS ![In: Computer Performance Evaluations, Modelling Techniques and Tools. 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings, pp. 134-151, 2003, Springer, 3-540-40814-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings, pp. 305-318, 2001, Springer, 3-540-41866-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Joseph Sifakis |
On the Composition of Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings, pp. 21-22, 1997, Springer, 3-540-63139-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Circuits Syst. Signal Process. ![In: Circuits Syst. Signal Process. 43(1), pp. 74-102, January 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.04997, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Transp. Syst. ![In: IEEE Trans. Intell. Transp. Syst. 24(2), pp. 1727-1738, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Henglei Xu, Xuerong Mao |
Advances in Discrete-State-Feedback Stabilization of Highly Nonlinear Hybrid Systems by Razumikhin Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(10), pp. 6098-6113, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 158, pp. 111283, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.09489, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.11089, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.02306, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.11308, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 135, pp. 109996, March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNC ![In: IEEE Wireless Communications and Networking Conference, WCNC 2023, Glasgow, UK, March 26-29, 2023, pp. 1-6, 2023, IEEE, 978-1-6654-9122-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023, 2023, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 926-951, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 9034-9059, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 69(3), pp. 2180-2190, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Open Source Softw. ![In: J. Open Source Softw. 7(73), pp. 4098, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.03904, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
9 | Amnon Attali, Pedro Cisneros-Velarde, Marco Morales 0001, Nancy M. Amato |
Discrete State-Action Abstraction via the Successor Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.03467, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
9 | Miroslav Vorechovský |
Reliability analysis of discrete-state performance functions via adaptive sequential sampling with detection of failure surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.02475, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.01549, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 28573-28581, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 212, pp. 107540, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.03006, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.10460, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
9 | Davin Lunz |
On Continuum Approximations of Discrete-State Markov Processes of Large System Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multiscale Model. Simul. ![In: Multiscale Model. Simul. 19(1), pp. 294-319, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
9 | Masaya Murata, Isao Kawano, Koichi Inoue |
Ensemble Kalman Filter for Continuous-Discrete State-Space Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, pp. 6608-6613, 2021, IEEE, 978-1-6654-3659-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual., pp. 17981-17993, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 4(4), pp. 982-987, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
9 | Sylwia Henselmeyer, Marcin Grzegorzek |
Short-term load forecasting with discrete state Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 38(2), pp. 2273-2284, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
9 | Yue Zhou, Guoqi Li, Huiqi Li |
Automatic Cataract Classification Using Deep Neural Network With Discrete State Transition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 39(2), pp. 436-446, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Autom. Comput. ![In: Int. J. Autom. Comput. 17(5), pp. 713-732, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 103141-103148, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 401, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.04300, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
9 | Hassan Jaleel, Jeff S. Shamma |
Distributed Submodular Minimization and Motion Planning Over Discrete State Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Netw. Syst. ![In: IEEE Trans. Control. Netw. Syst. 7(2), pp. 932-943, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSSE ![In: International Conference on System Science and Engineering, ICSSE 2020, Kagawa, Japan, August 31 - September 3, 2020, pp. 1-4, 2020, IEEE, 978-1-7281-5960-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SII ![In: 2020 IEEE/SICE International Symposium on System Integration, SII 2020, Honolulu, HI, USA, January 12-15, 2020, pp. 182-187, 2020, IEEE, 978-1-7281-6667-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMA J. Math. Control. Inf. ![In: IMA J. Math. Control. Inf. 36(02), pp. 341-378, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multidimens. Syst. Signal Process. ![In: Multidimens. Syst. Signal Process. 30(3), pp. 1327-1343, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 264 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|